DOI,IST REx ID,Research Group,Title of publication
10.1109/LICS56636.2023.10175771,13967,KrCh,Stopping criteria for value iteration on stochastic games with quantitative objectives
10.1109/LICS52264.2021.9470739,10002,KrCh,Symbolic time and space tradeoffs for probabilistic verification
10.1109/LICS52264.2021.9470595,10004,KrCh,Stochastic processes with expected stopping time
10.1109/LICS.1996.561342 ,4519,,The theory of hybrid automata