Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks.

Joanna Delicaris Stefan Schupp Erika Ábrahám Anne Remke

Published in: TASE (2023)

Keyphrases

state space
cellular automata
uniformly distributed
conditional probabilities
real time
finite automata
probability theory
transitive closure
probability distribution
data mining
knowledge base
maximum entropy
information systems
learning algorithm
database
class conditional
lattice gas