Keyphrases
- real numbers
- timed automata
- quantifier free
- reachability analysis
- model checking
- first order logic
- general theory
- fuzzy numbers
- arithmetic operations
- theoretical framework
- decision making
- low cost
- real time
- theorem prover
- quantifier elimination
- interval arithmetic
- real time systems
- inference rules
- data analysis
- bayesian networks
- artificial intelligence