Compositional Verification of Untimed Properties for a Class of Stochastic Automata Networks.
Nihal PekerginMinh-Anh TranPublished in: ISCIS (2012)
Keyphrases
- probabilistic automata
- finite automata
- model checking
- multi class classification
- tree automata
- network design
- network analysis
- petri net
- network structure
- finite state machines
- finite state
- multi class
- monte carlo
- aggregation functions
- markov chain
- heterogeneous networks
- context free
- relative entropy
- cellular automata
- turing machine