Reachability Problems for Infinite-State Systems (Dagstuhl Seminar 14141).
Javier EsparzaAlain FinkelPierre McKenzieJoël OuakninePublished in: Dagstuhl Reports (2014)
Keyphrases
- difficult problems
- data sets
- linear systems
- application domains
- specific problems
- problems involving
- state space
- reinforcement learning
- information systems
- learning algorithm
- website
- expert systems
- artificial neural networks
- multimedia
- management system
- learning systems
- knowledge base
- computing systems
- computer vision
- real time