Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks
Joanna Delicaris, Stefan Schupp, Erika Ábrahám, Anne Remke
Topics & Concepts
ReachabilityComputer scienceAutomatonScalabilityState (computer science)Finite-state machineAlgorithmClass (philosophy)Theoretical computer scienceReachability problemModel checkingArtificial intelligenceDatabaseFormal Methods in VerificationSoftware Testing and Debugging TechniquesModel-Driven Software Engineering Techniques