Author:
Andersen Michael S.,Jensen Rune S.,Bak Thomas,Quottrup Michael M.
Reference14 articles.
1. Multi-robot cooperation in the martha project;Alami;IEEE Robotics & Automation Magazine,1998
2. A theory of timed automata;Alur;Theoretical Computer Science,1990
3. Formal modeling and analysis of hybrid systems: A case study in multi-robot coordination.;Alur,1999
4. Uppaal implementation secrets;Behrmann,2003
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Synchronisation in Extended Robot State Automata;2022 Sixth IEEE International Conference on Robotic Computing (IRC);2022-12
2. Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems;Science of Computer Programming;2022-12
3. Formal verification of an autonomous wheel loader by model checking;Proceedings of the 6th Conference on Formal Methods in Software Engineering;2018-06-02