Distributed synthesis for parameterized temporal logics.
Swen JacobsLeander TentrupMartin ZimmermannPublished in: Inf. Comput. (2018)
Keyphrases
- temporal logic
- model checking
- mazurkiewicz traces
- modal logic
- distributed systems
- concurrent systems
- satisfiability problem
- temporal resolution
- distributed environment
- peer to peer
- belief revision
- cooperative
- verification method
- predicate logic
- reactive systems
- transition systems
- multi agent
- knowledge representation
- objective function
- temporal knowledge