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