Kripke structure

Related papers: 2

Top Researchers

Antonios Tsourdos

Institution: —

Brian White

Institution: —

Suresh Jeyaraman

Institution: —

Rafał Żbikowski

Institution: —

R. Żbikowski

Institution: —

Top Cited Papers

Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice

Suresh Jeyaraman, Antonios Tsourdos, Rafał Żbikowski, Brian White

Citations: 19 • 2006

Kripke modelling of multiple robots with decentralized cooperation specified with temporal logic

Suresh Jeyaraman, Antonios Tsourdos, R. Żbikowski, Brian White

Citations: 6 • 2005

Related Technologies

Artificial intelligenceComputer scienceRobotTask (project management)EngineeringTheoretical computer scienceProgramming languageSet (abstract data type)Data miningSystems engineering