On the Relationship between Reachability Problems in Timed and Counter Automata.
Christoph HaaseJoël OuaknineJames WorrellPublished in: RP (2012)
Keyphrases
- data sets
- finite state machines
- information retrieval
- artificial intelligence
- solving problems
- optimization problems
- np complete
- application domains
- benchmark problems
- discrete event
- difficult problems
- problems involving
- simulation model
- combinatorial optimization
- decision problems
- petri net
- state space
- relational databases
- decision trees
- information systems
- search engine