Reactive Synthesis: Branching Logics and Parameterized Systems.

Published in: CoRR (2018)

Keyphrases

management system
modal logic
distributed systems
expressive power
branch and bound
machine learning
genetic algorithm
data structure
search algorithm
multi agent systems
complex systems
search tree
propositional logic