Controlling timed automata against MTL specifications with TACoS.
Till HofmannStefan SchuppPublished in: Sci. Comput. Program. (2023)
Keyphrases
- timed automata
- model checking
- formal specification
- reachability analysis
- multi task learning
- theorem prover
- reactive systems
- temporal logic
- delay insensitive
- theorem proving
- multitask learning
- learning tasks
- real time systems
- multiple task learning
- inductive learning
- first order logic
- multiple tasks
- context sensitive
- high level
- state space
- bayesian networks