Towards a Tool for LTL Synthesis with Bounded-Energy Constraints.
Bastien MaubertAniello MuranoPasquale PerilloSasha RubinAlessio SpasianoPublished in: ICTCS (2019)
Keyphrases
- constrained optimization
- constraint satisfaction
- program synthesis
- temporal logic
- linear constraints
- energy consumption
- model checking
- constraint programming
- texture synthesis
- software tools
- energy minimization
- energy saving
- resource constraints
- planning problems
- real time
- domain independent
- pairwise
- search algorithm
- data mining