Distributed Synthesis for Parameterized Temporal Logics.

Swen Jacobs Leander Tentrup Martin Zimmermann

Published in: CoRR (2017)

Keyphrases

temporal logic
model checking
concurrent systems
modal logic
distributed systems
mazurkiewicz traces
satisfiability problem
temporal knowledge
cooperative
distributed environment
belief revision
verification method
transition systems
peer to peer
predicate logic
natural language
computation tree logic
multi agent