Author of the publication

Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions.

, , , , , , and . IEEE Trans. Autom. Control., 66 (3): 1040-1054 (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Neural Simplex Architecture., , , , , and . CoRR, (2019)Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization., , , and . IJCAI, page 4113-4120. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..Enforcing Almost-Sure Reachability in POMDPs., , and . CoRR, (2020)Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121)., , , and . Dagstuhl Reports, 8 (3): 74-93 (2018)Sampling-Based Verification of CTMCs with Uncertain Rates., , , , and . CAV (2), volume 13372 of Lecture Notes in Computer Science, page 26-47. Springer, (2022)Adaptive Shielding under Uncertainty., , , , , and . ACC, page 3467-3474. IEEE, (2021)Robust Active Measuring under Model Uncertainty., , , and . AAAI, page 21276-21284. AAAI Press, (2024)Decision-Making Under Uncertainty: Beyond Probabilities., , , and . CoRR, (2023)Filter-Based Abstractions with Correctness Guarantees for Planning under Uncertainty., , , and . CoRR, (2021)Act-Then-Measure: Reinforcement Learning for Partially Observable Environments with Active Measuring., , and . ICAPS, page 212-220. AAAI Press, (2023)