Synthesis from LTL Specifications with Mean-Payoff Objectives
Aaron BohyVéronique BruyèreEmmanuel FiliotJean-François RaskinPublished in: CoRR (2012)
Keyphrases
- bounded model checking
- model checking
- transition systems
- temporal logic
- formal specification
- formal verification
- linear temporal logic
- model checker
- concurrent systems
- design requirements
- game theory
- deterministic automata
- multiple objectives
- linear time temporal logic
- delay insensitive
- finite state machines
- program synthesis
- neural network
- domain independent
- long term
- evolutionary algorithm
- objective function
- reinforcement learning
- high level
- information systems