Symbolic Reactive Synthesis for the Safety and EL-fragment of LTL.
Daniel HausmannMathieu LehautNir PitermanPublished in: CoRR (2023)
Keyphrases
- model checking
- description logics
- temporal logic
- symbolic representation
- bounded model checking
- program synthesis
- neural learning
- connectionist learning
- symbolic description
- reactive systems
- deterministic automata
- connectionist models
- formal verification
- search space
- information systems
- artificial intelligence
- reactive planning
- symbolic data
- hidden markov models
- transition systems
- linear temporal logic
- case study
- data sets