Timed Automata with Periodic Clock Constraints.
Christian ChoffrutMassimiliano GoldwurmPublished in: J. Autom. Lang. Comb. (2000)
Keyphrases
- timed automata
- theorem prover
- model checking
- constraint satisfaction
- multiple constraints
- global constraints
- constrained optimization
- databases
- dynamic programming
- distributed systems
- evolutionary algorithm
- database
- power consumption
- constraint programming
- image sequences
- genetic algorithm
- information retrieval
- resource constraints
- linear constraints
- real time