Login / Signup
Distributed Consensus-Based Online Monitoring of Robot Swarms With Temporal Logic Specifications.
Ruixuan Yan
Agung Julius
Published in:
IEEE Robotics Autom. Lett. (2022)
Keyphrases
</>
temporal logic
concurrent systems
model checking
transition systems
model checker
bounded model checking
real time
reactive systems
cooperative
satisfiability problem
modal logic
formal specification language
mobile robot
distributed systems
formal specification
modular robots
linear temporal logic
verification method
temporal knowledge
formal verification
belief revision
multi agent
predicate logic
symbolic model checking
multi robot
dynamic constraints
dynamic environments
query language