Work

Robust control of uncertain Markov Decision Processes with temporal logic specifications

Year: 2012

Type: conference-paper

DOI: 10.1109/cdc.2012.6426174

Authors: Eric M. Wolff, Ufuk Topcu, Richard M. Murray

Institution: California Institute of Technology

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2157807654

FWCI: 7.467

Cites: 30

Cited by: 140

Related to: 10