Search Results for author: Jana Tumova

Found 4 papers, 2 papers with code

Robust Active Measuring under Model Uncertainty

1 code implementation18 Dec 2023 Merlijn Krale, Thiago D. Simão, Jana Tumova, Nils Jansen

Partial observability and uncertainty are common problems in sequential decision-making that particularly impede the use of formal models such as Markov decision processes (MDPs).

Decision Making

Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes

1 code implementation11 Jan 2020 Maxime Bouton, Jana Tumova, Mykel J. Kochenderfer

Autonomous systems are often required to operate in partially observable environments.

Cannot find the paper you are looking for? You can Submit a new open access paper.