Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams.
Kevin LeahyAustin JonesCristian Ioan VasilePublished in: CoRR (2020)
Keyphrases
- temporal logic
- concurrent systems
- transition systems
- model checking
- bounded model checking
- reactive systems
- model checker
- formal specification language
- formal specification
- modal logic
- satisfiability problem
- mazurkiewicz traces
- linear temporal logic
- predicate logic
- computation tree logic
- team composition
- belief revision
- formal verification
- cooperative
- symbolic model checking
- multi agent
- control flow
- finite state
- epistemic logic
- logical formulas
- dynamic programming
- search algorithm