Login / Signup
A Synthesis Tool for Optimal Monitors in a Branching-Time Setting.
Antonis Achilleos
Léo Exibard
Adrian Francalanza
Karoliina Lehtinen
Jasmine Xuereb
Published in:
COORDINATION (2022)
Keyphrases
</>
genetic algorithm
optimal solution
finding optimal
texture synthesis
information systems
knowledge base
web services
bayesian networks
evolutionary algorithm
state space
closed form
temporal logic
temporal reasoning
optimal control
program synthesis