A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours.
Vincenzo CianciaMatteo SammartinoPublished in: TGC (2014)
Keyphrases
- regular languages
- resource allocation
- finite dimensional
- information resources
- regular expressions
- resource management
- probabilistic automata
- finite sets
- context free
- finite automata
- formal verification
- grammatical inference
- face verification
- data sets
- cellular automata
- support vector machine
- decision trees
- information systems
- search engine