Laszlo Treszkai, Vaishak Belle |
PosterID:
64
PDF
Slides
|
| Finite-state controllers (FSCs), such as plans with loops, are powerful and compact representations of action selection widely used in robotics, video games and logistics. There has been steady progress on synthesizing FSCs in deterministic environments, but the algorithmic machinery needed for lifting such techniques to stochastic environments is not yet fully understood. While the derivation of FSCs has received some attention in the context of discounted expected reward measures, they are often solved approximately and/or without correctness guarantees. In essence, that makes it difficult to analyze fundamental concerns such as: do all paths terminate, and do the majority of paths reach a goal state? In this paper, we present new theoretical results on a generic technique for synthesizing FSCs in stochastic environments, allowing for highly granular specifications on termination and goal satisfaction. | |
| Canb | 10/29/2020, 01:00 – 02:00 |
| 10/30/2020, 21:00 – 22:00 |
| Paris | 10/28/2020, 15:00 – 16:00 |
| 10/30/2020, 11:00 – 12:00 |
| NYC | 10/28/2020, 10:00 – 11:00 |
| 10/30/2020, 06:00 – 07:00 |
| LA | 10/28/2020, 07:00 – 08:00 |
| 10/30/2020, 03:00 – 04:00 |
Guidelines for Action Space Definition in Reinforcement Learning-Based Traffic Signal Control Systems
Maxime Treca, Julian Garbiso, Dominique Barth
Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications
Krishnendu Chatterjee, Martin Chmelík, Deep Karkhanis, Petr Novotný, Amélie Royer
Probabilistic planning with formal guarantees for mobile service robots
Bruno Lacerda, Fatma Faruq, David Parker, Nick Hawes
A correctness result for synthesizing plans with loops in stochastic domains
Laszlo Treszkai, Vaishak Belle