Login / Signup
On Reachability for Unidirectional Channel Systems Extended with Regular Tests.
Petr Jancar
Prateek Karandikar
Philippe Schnoebelen
Published in:
Log. Methods Comput. Sci. (2015)
Keyphrases
</>
management system
expert systems
multi channel
complex systems
genetic algorithm
decision trees
intelligent systems
multi agent systems
dynamic programming
information retrieval systems
control system
building blocks
distributed systems
databases
multiscale
website
machine learning
real world