DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-030-29662-9_4,7232,ToHe,Mixed-time signal temporal logic
10.1007/978-3-319-91908-9_22,7453,ToHe,Continuous-time models for system design and analysis
10.29007/m75b,7576,ToHe,ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics
10.1145/3302504.3311804,6035,ToHe,JuliaReach: A toolbox for set-based reachability
10.1007/978-3-030-17462-0_13,6042,ToHe,Semantic fault localization and suspiciousness ranking
10.1145/3302504.3311800,6428,ToHe,Interface-aware signal temporal logic
10.1007/978-3-030-25540-4_36,6462,"ToHe,KrCh",Run-time optimization for learned controllers through quantitative games
10.1007/978-3-030-25540-4_16,6493,ToHe,Membership-based synthesis of linear hybrid automata
10.1109/INDIANCC.2019.8715598,6565,ToHe,Formal synthesis of stabilizing controllers for periodically controlled linear switched systems
10.1145/3340295,6752,ToHe,Infinite-duration bidding games
10.1007/978-3-030-30806-3_1,6822,ToHe,Bidding games on Markov decision processes
10.4230/LIPICS.MFCS.2019.11,6884,"ToHe,KrCh",Bidding mechanisms in graph games
10.4230/LIPICS.CONCUR.2019.27,6885,"ToHe,KrCh",Long-run average behavior of vector addition systems with states
10.4230/LIPICS.CONCUR.2019.20,6886,ToHe,Determinacy in discrete-bidding infinite-duration games
10.1109/icra.2019.8793840,6888,ToHe,Designing worm-inspired neural networks for interpretable robotic control
10.15479/AT:ISTA:6894,6894,ToHe,Automatic time-unbounded reachability analysis of hybrid systems
10.29007/rjwn,10877,ToHe,ARCH-COMP19 Category Report: Hybrid systems with piecewise constant dynamics
10.4230/LIPIcs.CONCUR.2018.21,133,ToHe,Synchronizing the asynchronous
10.1007/978-3-319-95246-8_9,86,"KrCh,ToHe",Computing average response time
10.1007/978-3-030-00151-3_13,78,ToHe,Online timed pattern matching using automata