Abstraction-based synthesis for stochastic systems with omega-regular objectives
Maxence Dutreix, Jeongmin Huh, Samuel Coogan
Topics & Concepts
Cartesian productComputer scienceBounded functionPredicate abstractionMarkov chainMarkov decision processTheoretical computer scienceAutomatonMarkov processModel checkingMathematicsDiscrete mathematicsMachine learningMathematical analysisStatisticsFormal Methods in VerificationPetri Nets in System ModelingModel-Driven Software Engineering Techniques