Kripke structure
相关论文数: 2
顶级研究者
最高引用论文
Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice
Suresh Jeyaraman, Antonios Tsourdos, Rafał Żbikowski, Brian White
引用数: 19 • 2006
Kripke modelling of multiple robots with decentralized cooperation specified with temporal logic
Suresh Jeyaraman, Antonios Tsourdos, R. Żbikowski, Brian White
引用数: 6 • 2005