Login / Signup
Brief Announcement: Model Checking Rendezvous Algorithms for Robots with Lights in Euclidean Space.
Xavier Défago
Adam Heriban
Sébastien Tixeuil
Koichi Wada
Published in:
DISC (2019)
Keyphrases
</>
model checking
euclidean space
temporal logic
reachability analysis
temporal properties
symbolic model checking
deterministic finite automaton
euclidean distance
verification method
linear temporal logic
automated verification
similarity measure
vector space
formal verification
pairwise distances