DOI,IST REx ID,Research Group,Title of publication
10.1063/1.4937937,1539,"ToHe,GaTk",Minimal moment equations for stochastic models of biochemical reaction networks with partially finite state space
10.1007/978-3-319-26287-1_1,1541,ToHe,XSpeed: Accelerating reachability analysis on multi-core processors
10.1007/978-3-662-48899-7_12,1594,"ToHe,KrCh",Controller synthesis for MDPs and frequency LTL\GU
10.1007/978-3-319-21690-4_31,1601,"ToHe,KrCh",The Hanoi omega-automata format
10.1007/978-3-319-21690-4_10,1603,"KrCh,ToHe",Counterexample explanation by learning small strategies in Markov decision processes
10.1007/978-3-319-26287-1_2,1605,ToHe,Abstraction-based parameter synthesis for multiaffine systems
10.1007/978-3-319-23820-3_19,1606,ToHe,Runtime verification for hybrid analysis tools
10.1007/978-3-662-47666-6_10,1610,"KrCh,ToHe",Edit distance for pushdown automata
10.1109/LICS.2015.72,1656,"KrCh,ToHe",Nested weighted automata
10.1109/LICS.2015.32,1657,"KrCh,ToHe",Unifying two views on multiple mean-payoff objectives in Markov decision processes
10.1007/978-3-319-23401-4_8,1658,"ToHe,GaTk",Adaptive moment closure for parameter inference of biochemical reaction networks
10.1109/LICS.2015.74,1659,ToHe,The target discounted-sum problem
null,1670,ToHe,PDDL+ planning with hybrid automata: Foundations of translating must behavior
10.1145/2817825,1680,ToHe,On the decidability of elementary modal logics
10.1145/2728606.2728608,1689,"ToHe,KrCh",Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
10.1145/2728606.2728630,1690,ToHe,HYST: A source transformation and translation tool for hybrid automaton models
10.1145/2728606.2728622,1692,ToHe,Eliminating spurious transitions in reachability with support functions
10.1016/j.ic.2015.03.001,1698,"KrCh,ToHe",The complexity of multi-mean-payoff and multi-energy games
10.1007/978-3-319-21668-3_11,1729,ToHe,From non-preemptive to preemptive scheduling using synchronization synthesis
10.1016/j.ic.2015.06.003,1731,"KrCh,ToHe",Randomness for free