On the Expressive Power of Invariants in Parametric Timed Automata.
Étienne AndréDidier LimeMathias RamparisonPublished in: ICECCS (2019)
Keyphrases
- expressive power
- timed automata
- first order logic
- theorem prover
- model checking
- theorem proving
- data complexity
- propositional logic
- transitive closure
- computational properties
- relational algebra
- inference rules
- query language
- knowledge representation
- relational calculus
- real time systems
- np complete
- probabilistic model
- database
- user defined aggregates