Minimal-Time Synthesis for Parametric Timed Automata.
Étienne AndréVincent BloemenLaure PetrucciJaco van de PolPublished in: CoRR (2019)
Keyphrases
- timed automata
- model checking
- theorem prover
- reachability analysis
- theorem proving
- first order logic
- real time systems
- multiscale
- program synthesis
- information systems
- knowledge representation
- software engineering
- bayesian networks
- temporal logic
- case study
- parametric models
- texture synthesis
- analog circuits
- functional programs
- artificial intelligence