Search for persons
X
?
Formal Methods; Lecture Notes in Computer Science ,
9
Fuel in Markov Decision Processes (FiMDP): A Practical Appr..:
, In:
?
2020 59th IEEE Conference on Decision and Control (CDC) ,
10
Scalable Synthesis of Minimum-Information Linear-Gaussian C..:
, In:
?
Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems ,
11
Policy Synthesis for Factored MDPs with Graph Temporal Logi..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
12
Scenario-Based Verification of Uncertain MDPs:
, In:
?
2019 IEEE 58th Conference on Decision and Control (CDC) ,
13
Switched Linear Systems Meet Markov Decision Processes: Sta..:
, In:
?
2019 IEEE 58th Conference on Decision and Control (CDC) ,
14