Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial,

Source URL: www.prismmodelchecker.org

• Mathematical analysis
• Mathematics
• Measure theory
• Boolean algebra
• Experiment
• Sigma-algebra
• Determinacy
• Stochastic game
• Linear temporal logic
• Markov chain
• Markov decision process

Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial,

Source URL: qav.comlab.ox.ac.uk

• Mathematical analysis
• Mathematics
• Measure theory
• Boolean algebra
• Experiment
• Sigma-algebra
• Determinacy
• Stochastic game
• Linear temporal logic
• Markov chain
• Markov decision process

2017 American Control Conference Sheraton Seattle Hotel May 24–26, 2017, Seattle, USA Stochastic Predictive Freeway Ramp Metering from Signal Temporal Logic Specifications

Source URL: dorsa.fyi

EE363 WinterLecture 10 Linear Quadratic Stochastic Control with

Source URL: stanford.edu

EE266 and MS&E251: Introduction About the course Optimization Dynamical systems Stochastic control

Source URL: ee266.stanford.edu

Regular Policies in Stochastic Optimal Control and Abstract Dynamic Programming Dimitri P. Bertsekas Department of Electrical Engineering and Computer Science Massachusetts Institute of Technology

Source URL: web.mit.edu

Faculty of Engineering Distinguished Lecture Hosted by Institute of Theoretical Computer Science and Communications Information and Entropy Flow in Stochastic Control Prof. Sanjoy Mitter

Source URL: www.itcsc.cuhk.edu.hk

Stochastic System Monitoring and Control∗ Gregory Provan† Rockwell Science Center 1049 Camino Dos Rios, Thousand Oaks, CA 91360

Source URL: www.gatsby.ucl.ac.uk

Rate-cost tradeoffs in control Victoria Kostina, Babak Hassibi Abstract—Consider a distributed control problem with a communication channel connecting the observer of a linear stochastic system to the controller. The g

Source URL: vkostina.caltech.edu

53rd IEEE Conference on Decision and Control December 15-17, 2014. Los Angeles, California, USA Stochastic Dynamic Pricing: Utilizing Demand Response in an Adaptive Manner Wenyuan Tang

Source URL: www.ocf.berkeley.edu