Jonathan Sprauel

Publication Activity (10 Years)

Years Active: 2014-2014
Publications (10 Years): 0

Top Topics

Deterministic Finite Automaton

Automated Verification

Planning Under Uncertainty

Top Venues

Publications

Jonathan Sprauel, Andrey Kolobov, Florent Teichteil-Königsbuch
Saturated Path-Constrained MDP: Planning under Uncertainty and Deterministic Model-Checking Constraints. AAAI (2014)