| Probabilistic Hyperproperties with Rewards | 0 | 0.34 | 2022 |
| New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072). | 0 | 0.34 | 2022 |
| Experiments with Automated Reasoning in the Class | 0 | 0.34 | 2022 |
| Symbolic Simulation Of Railway Timetables Under Consideration Of Stochastic Dependencies | 0 | 0.34 | 2021 |
| Controller Verification meets Controller Code: A Case Study | 0 | 0.34 | 2021 |
| HYPERPROB: A Model Checker for Probabilistic Hyperproperties | 0 | 0.34 | 2021 |
| A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata. | 1 | 0.35 | 2020 |
| Parameter Synthesis for Probabilistic Hyperproperties. | 0 | 0.34 | 2020 |
| Probabilistic Hyperproperties with Nondeterminism | 0 | 0.34 | 2020 |
| Fully incremental cylindrical algebraic decomposition | 0 | 0.34 | 2020 |
| New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract). | 0 | 0.34 | 2020 |
| Optimal Planning Modulo Theories | 0 | 0.34 | 2020 |
| Probabilistic Simulation of a Railway Timetable. | 0 | 0.34 | 2020 |
| Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems | 0 | 0.34 | 2019 |
| Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics | 2 | 0.38 | 2019 |
| Verifying Auto-generated C Code from Simulink - An Experience Report in the Automotive Domain. | 0 | 0.34 | 2018 |
| Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems. | 0 | 0.34 | 2018 |
| SMarTplan: a Task Planner for Smart Factories. | 0 | 0.34 | 2018 |
| Task Planning With Omt: An Application To Production Logistics | 0 | 0.34 | 2018 |
| Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations. | 0 | 0.34 | 2018 |
| Context-Dependent Reachability Analysis for Hybrid Systems | 0 | 0.34 | 2018 |
| Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis. | 2 | 0.39 | 2018 |
| Divide And Conquer: Variable Set Separation In Hybrid Systems Reachability Analysis | 1 | 0.36 | 2017 |
| SMT Solving for Arithmetic Theories: Theory and Tool Support | 0 | 0.34 | 2017 |
| HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis. | 5 | 0.47 | 2017 |
| Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro. | 0 | 0.34 | 2017 |
| On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories | 4 | 0.41 | 2017 |
| SC-square: when Satisfiability Checking and Symbolic Computation join forces. | 0 | 0.34 | 2017 |
| Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis | 13 | 0.66 | 2016 |
| Satisfiability Checking: Theory and Applications. | 3 | 0.41 | 2016 |
| Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots. | 3 | 0.43 | 2016 |
| Some recent advances in automated analysis. | 1 | 0.40 | 2016 |
| Two CEGAR-based approaches for the safety verification of PLC-controlled plants. | 6 | 0.47 | 2016 |
| Satisfiability Checking meets Symbolic Computation (Project Paper). | 4 | 0.47 | 2016 |
| Symbolic Computation Techniques in Satisfiability Checking | 0 | 0.34 | 2016 |
| Parameter Synthesis for Probabilistic Systems. | 0 | 0.34 | 2016 |
| Satisfiability Checking and Symbolic Computation. | 0 | 0.34 | 2016 |
| Observable interface behaviour and inheritance. | 0 | 0.34 | 2016 |
| Learning-Based Control Strategies For Hybrid Electric Vehicles | 1 | 0.43 | 2015 |
| Formal modeling and analysis of interacting hybrid systems in HI-Maude: What happened at the 2010 Sauna World Championships? | 0 | 0.34 | 2015 |
| Sound and complete timed CTL model checking of timed Kripke structures and real-time rewrite theories. | 4 | 0.42 | 2015 |
| High-level Counterexamples for Probabilistic Automata | 3 | 0.37 | 2015 |
| A Greedy Approach for the Efficient Repair of Stochastic Models. | 6 | 0.43 | 2015 |
| Building Bridges between Symbolic Computation and Satisfiability Checking | 10 | 0.70 | 2015 |
| Symbolic counterexample generation for large discrete-time Markov chains. | 7 | 0.44 | 2014 |
| Fast Debugging of PRISM Models. | 8 | 0.42 | 2014 |
| Under-approximate flowpipes for non-linear continuous systems. | 0 | 0.34 | 2014 |
| A CEGAR approach for the reachability analysis of PLC-controlled chemical plants | 1 | 0.35 | 2014 |
| Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031). | 0 | 0.34 | 2014 |
| Maybe or Maybe Not - Contributions to Stochastic Verification. | 0 | 0.34 | 2014 |
