Login / Signup
Verifying nondeterministic probabilistic channel systems against $\omega$-regular linear-time properties
Christel Baier
Nathalie Bertrand
Philippe Schnoebelen
Published in:
CoRR (2005)
Keyphrases
</>
genetic algorithm
generative model
information systems
multi channel
management system
worst case
distributed systems
computer systems
building blocks
context sensitive
finite automata
structural properties
retrieval systems
complex systems
probabilistic model
expert systems
artificial intelligence