Tumova, Jana

2 publications

AAAI 2024 Robust Active Measuring Under Model Uncertainty Merlijn Krale, Thiago D. Simão, Jana Tumova, Nils Jansen

AAAI 2020 Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes Maxime Bouton, Jana Tumova, Mykel J. Kochenderfer