Integrating active sensing into reactive synthesis with temporal logic constraints under partial observations

Algorithms for sequential decision making

Michael Lederman Littman · 1996

Earlier work this paper cites.

Automata Logics, and Infinite Games: A Guide to Current Research

Erich Grädel, Wolfgang Thomas, and Thomas Wilke, editors · 2002

Earlier work this paper cites.

Games for synthesis of controllers with partial observation

A Arnold, A Vincent, and I Walukiewicz · 2003

Earlier work this paper cites.

Deterministic generators and games for LTL fragments

Rajeev Alur and Salvatore La Torre · 2004

Earlier work this paper cites.

Algorithms for omega-regular games with imperfect information

Krishnendu Chatterjee, Laurent Doyen, Thomas A Henzinger, and Jean-François Raskin · 2007

Cited alongside, same era.

A fully automated framework for control of linear systems from temporal logic specifications

M. Kloetzer and C. Belta · 2008

Cited alongside, same era.

The complexity of partial-observation parity games

Krishnendu Chatterjee and Laurent Doyen · 2010

Cited alongside, same era.

Correct, reactive robot control from abstraction and temporal logic specifications

Hadas Kress-Gazit, Tichakorn Wongpiromsarn, and Ufuk Topcu · 2011

Cited alongside, same era.

Replanning in domains with partial information and sensing actions

Guy Shani and Ronen I Brafman · 2011

Later among the works it cites.

Partial-Observation Stochastic Games: How to Win When Belief Fails

Krishnendu Chatterjee and Laurent Doyen · 2012

Later among the works it cites.

Control of probabilistic systems under dynamic, partially known environments with temporal logic specifications

Tichakorn Wongpiromsarn and Emilio Frazzoli · 2012

Later among the works it cites.

Formal methods for control synthesis in partially observed environments : application to autonomous robotic manipulation. Dissertation (Ph.D.), California Institute of Technology

Rangoli Sharan · 2014

Closest in time.