Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks.
Joanna DelicarisStefan SchuppErika ÁbrahámAnne RemkePublished in: CoRR (2023)
Keyphrases
- state space
- cellular automata
- probability distribution
- tree automata
- information systems
- bayesian networks
- packing problem
- belief networks
- subjective probabilities
- database
- turing machine
- finite automata
- probability theory
- finite state
- randomly generated
- conditional probabilities
- query language
- evolutionary algorithm
- artificial intelligence
- machine learning
- real time