Temporal Logic Swarm Control with Splitting and Merging.

Gustavo A. Cardona Kevin Leahy Cristian-Ioan Vasile

Published in: ICRA (2023)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
concurrent systems
verification method
dynamic constraints
belief revision
linear temporal logic
temporal knowledge
computation tree logic
model checker
reactive systems
automata theoretic
mazurkiewicz traces
temporally extended