Toshiaki Arai
According to our database1,
Toshiaki Arai
authored at least 5 papers
between 1988 and 2006.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2006
Hybrid State Machines with Timed Synchronization for Multi-Robot System Specification.
Künstliche Intell., 2006
2003
From the Specification of Multiagent Systems by Statecharts to Their Formal Analysis by Model Checking: Towards Safety-Critical Applications.
Proceedings of the Multiagent System Technologies, First German Conference, 2003
2002
Multiagent systems specification by UML statecharts aiming at intelligent manufacturing.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002
1998
IBM J. Res. Dev., 1998
1988
Proceedings of the 1988 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1988