Mária Svoreňová

Available identifiers

zbMath Open svorenova.mariaMaRDI QIDQ328164

List of research outcomes

Publication	Date of Publication	Type
Temporal logic motion planning using POMDPs with parity objectives	2017-05-19	Paper
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games	2017-05-19	Paper
Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties	2017-05-16	Paper
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games	2016-12-15	Paper
Quantitative verification and strategy synthesis for stochastic games	2016-10-20	Paper

Research outcomes over time

This page was built for person: Mária Svoreňová