Timed automata and additive clock constraints.
Béatrice BérardCatherine DufourdPublished in: Inf. Process. Lett. (2000)
Keyphrases
- timed automata
- model checking
- power consumption
- high speed
- reachability analysis
- neural network
- multiple constraints
- constrained optimization
- information systems
- theorem prover
- pairwise
- software engineering
- constraint satisfaction
- software systems
- database
- np hard
- decision trees
- social networks
- search engine
- learning algorithm
- databases