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.2005.26,4554,,Mean-payoff parity games
10.1109/LICS.2004.1319610,3895,,Games with secure equilibria
10.1109/LICS.1996.561342 ,4519,,The theory of hybrid automata