Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games

Applications of recursive arithmetic to the problem of circuit synthesis

A. Church · 1957

Earlier work this paper cites.

Solving sequential conditions by finite-state strategies

J. R. Büchi and L. H. Landweber · 1969

Earlier work this paper cites.

On the Synthesis of a Reactive Module

A. Pnueli and R. Rosner · 1989

Earlier work this paper cites.

Model checking

E. M. M. Clarke, D. Peled, and O. Grumberg · 1999

Earlier work this paper cites.

Counterexample-guided control

T. A. Henzinger, R. Jhala, and R. Majumdar · 2003

Earlier work this paper cites.

Model checking LTL over controllable linear systems is decidable

P. Tabuada and G. Pappas · 2003

Earlier work this paper cites.

Counterexample-guided planning

K. Chatterjee, T. A. Henzinger, R. Jhala, and R. Majumdar · 2005

Earlier work this paper cites.

Approximate bisimulation for a class of stochastic hybrid systems

A. A. Julius, A. Girard, and G. J. Pappas · 2006

Earlier work this paper cites.

Synthesis of Reactive(1) Designs

N. Piterman, A. Pnueli, and Y. Sa’ar · 2006

Earlier work this paper cites.

Stochastic ω \omega -Regular Games

K. Chatterjee · 2007

Earlier work this paper cites.

Principles of model checking

C. Baier and J.P. Katoen · 2008

Cited alongside, same era.

Synthesis using approximately bisimilar abstractions: state-feedback controllers for safety specifications

A. Girard · 2010

Cited alongside, same era.

A game-based abstraction-refinement framework for Markov decision processes

M. Kattenbelt, M. Kwiatkowska, G. Norman, and D. Parker · 2010

Cited alongside, same era.

Approximate Abstractions of Stochastic Hybrid Systems

A. Abate, A. D’Innocenzo, and M.D. Di Benedetto · 2011

Cited alongside, same era.

Qualitative concurrent parity games

K. Chatterjee, L. de Alfaro, and T. A. Henzinger · 2011

Cited alongside, same era.

Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems

E. M. Hahn, G. Norman, D. Parker, B. Wachter, and L. Zhang · 2011

Cited alongside, same era.

Approximate Markovian abstractions for linear stochastic systems

M. Lahijanian, S. B. Andersson, and C. Belta · 2012

Later among the works it cites.

Synthesizing Robust Discrete Controllers Under Modeling Uncertainty

U. Topcu, N. Ozay, J. Liu, and R. M. Murray · 2012

Later among the works it cites.

Robust control of uncertain markov decision processes with temporal logic specifications

E. M. Wolff, U. Topcu, and R. M. Murray · 2012

Later among the works it cites.

Temporal Logic Control of Discrete-Time Piecewise Affine Systems

B. Yordanov, J. Tumova, I. Cerna, J. Barnat, and C. Belta · 2012

Later among the works it cites.

Revising motion planning under Linear Temporal Logic specifications in partially known workspaces

M. Guo, K. H. Johansson, and D. V. Dimarogonas · 2013

Later among the works it cites.

Optimal Control of MDPs with Temporal Logic Constraints