Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations
Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani, Marco Caccamo
Topics & Concepts
Probabilistic logicComputer scienceAutomatonNonlinear systemController (irrigation)Upper and lower boundsTheoretical computer scienceAbstractionMathematical optimizationMathematicsArtificial intelligenceBiologyPhysicsPhilosophyEpistemologyQuantum mechanicsAgronomyMathematical analysisFormal Methods in VerificationLogic, programming, and type systemsSoftware Testing and Debugging Techniques