Keyphrases
- timed automata
- model checking
- reachability analysis
- lower bound
- upper bound
- interval valued
- theorem prover
- real time systems
- theorem proving
- neural network
- first order logic
- temporal logic
- real valued functions
- worst case
- error bounds
- computational complexity
- case study
- software engineering
- weighted sum
- information systems
- interval data
- weighted distance
- genetic algorithm
- real time