DOI,IST REx ID,Research Group,Title of publication
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
10.1007/s10703-015-0235-2,1501,"KrCh,ToHe",CEGAR for compositional analysis of qualitative properties in Markov decision processes
10.1007/978-3-662-47666-6_10,1610,"KrCh,ToHe",Edit distance for pushdown automata
10.1007/978-3-642-54013-4_10,1392,ToHe,A logic-based framework for verifying consensus algorithms
10.1145/2593882.2593900,1393,ToHe,Probabilistic programming
10.1007/978-3-319-13338-6_6,1869,ToHe,Suraq - a controller synthesis tool using uninterpreted functions
10.4230/LIPIcs.FSTTCS.2014.431,1870,ToHe,Lipschitz robustness of finite-state transducers
10.1007/978-3-319-11936-6_14,1872,ToHe,Extensional crisis and proving identity
10.1007/978-3-319-11936-6_17,2026,ToHe,Rabinizer 3: Safraless translation of ltl to small deterministic automata
10.1007/978-3-319-11936-6_8,2027,"KrCh,ToHe",Verification of markov decision processes using learning algorithms
10.1145/2629686,2038,"ToHe,KrCh",Temporal specifications with accumulative values
10.1007/978-3-662-44584-6_18,2053,"ToHe,KrCh",Probabilistic bisimulation: Naturally on distributions
10.1007/s00285-013-0738-7,2056,"CaGu,ToHe",Markov chain aggregation and its applications to combinatorial reaction networks
10.1007/978-3-319-10936-7_17,1875,ToHe,Cost-aware automatic program repair
10.1007/s00236-013-0191-5,2187,"KrCh,ToHe",Synthesizing robust systems
10.1007/978-3-319-08867-9_13,2190,"ToHe,KrCh",From LTL to deterministic automata: A safraless compositional approach
10.1145/2562059.2562130,2217,ToHe,Model measuring for hybrid systems