Clock Allocation in Timed Automata and Graph Colouring.
Neda SaeedloeiFeliks KluzniakPublished in: HSCC (2018)
Keyphrases
- timed automata
- graph colouring
- bin packing
- round robin
- model checking
- combinatorial problems
- reachability analysis
- tabu search
- theorem prover
- timetabling problem
- theorem proving
- real time systems
- temporal logic
- first order logic
- constraint programming
- load balancing
- metaheuristic
- artificial intelligence
- real time
- power consumption
- low cost