201 search results - page 41 / 41 » Reducing the number of clock variables of timed automata |
DAM
1999
13 years 5 months ago
1999
An algorithm called Modoc", which has been introduced elsewhere, enhances propositional model elimination with autarky pruning, and other features. The model elimination meth...