Login / Signup
Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach.
Franck Djeumou
Zhe Xu
Murat Cubuktepe
Ufuk Topcu
Published in:
IEEE Trans. Autom. Control. (2023)
Keyphrases
</>
temporal logic
concurrent systems
model checking
transition systems
reactive systems
model checker
bounded model checking
formal specification language
modal logic
satisfiability problem
cooperative
formal specification
formal verification
computation tree logic
verification method
multi agent
linear temporal logic
mazurkiewicz traces
temporal knowledge
dynamic constraints
knowledge based systems
predicate logic
belief revision
temporally extended goals
graph model
structured data
dynamic environments