DOI,IST REx ID,Research Group,Title of publication
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.1016/j.ic.2015.06.003,1731,"KrCh,ToHe",Randomness for free
10.15479/AT:IST-2015-170-v2-2,5436,"KrCh,ToHe",Nested weighted automata
10.15479/AT:IST-2015-335-v1-1,5439,ToHe,The target discounted-sum problem
10.15479/AT:ISTA:28,5549,"KrCh,ToHe",Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes
10.1007/978-3-319-21668-3_11,1729,ToHe,From non-preemptive to preemptive scheduling using synchronization synthesis
10.1145/2737166.2737175,1502,"ToHe,KrCh",Complete composition operators for IOCO-testing theory