The following pages link to Martin Fränzle (Q394331):
Displayed 50 items.
- Combining decomposition and reduction for state space analysis of a self-stabilizing system (Q394332) (← links)
- Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems (Q547916) (← links)
- A generalized notion of semantic independence (Q674287) (← links)
- A semantics for distributed execution of Statemate (Q706501) (← links)
- Engineering constraint solvers for automatic analysis of probabilistic hybrid automata (Q710668) (← links)
- HySAT: An efficient proof engine for bounded model checking of hybrid systems (Q883144) (← links)
- Safe over- and under-approximation of reachable sets for autonomous dynamical systems (Q1631238) (← links)
- Safe over- and under-approximation of reachable sets for delay differential equations (Q1683458) (← links)
- Automatic verification of stability and safety for delay differential equations (Q1702900) (← links)
- Model-checking dense-time duration calculus (Q1882793) (← links)
- Costs and rewards in priced timed automata (Q2064528) (← links)
- Syntax-guided optimal synthesis for chemical reaction networks (Q2164238) (← links)
- Indecision and delays are the parents of failure -- taming them algorithmically by synthesizing delay-resilient control (Q2231651) (← links)
- Validated simulation-based verification of delayed differential dynamics (Q2281633) (← links)
- Discounted duration calculus (Q2281652) (← links)
- Effective definability of the reachability relation in timed automata (Q2338218) (← links)
- Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability (Q2895477) (← links)
- Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems (Q2945585) (← links)
- Measurability and safety verification for stochastic hybrid systems (Q2986712) (← links)
- Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems (Q3000643) (← links)
- Parallel SAT Solving in Bounded Model Checking (Q3069995) (← links)
- Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods (Q3095239) (← links)
- Crossing the Bridge between Similar Games (Q3172850) (← links)
- Temporal Logic Verification for Delay Differential Equations (Q3179413) (← links)
- (Q3408146) (← links)
- Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems (Q3447707) (← links)
- Transformations for Compositional Verification of Assumption-Commitment Properties (Q3447708) (← links)
- No Need Knowing Numerous Neighbours (Q3449630) (← links)
- Formal Verification of Simulink/Stateflow Diagrams (Q3460585) (← links)
- Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems (Q3523106) (← links)
- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems (Q3540072) (← links)
- Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata (Q3648829) (← links)
- Visual temporal logic as a rapid prototyping tool (Q4329566) (← links)
- Under-Approximating Reach Sets for Polynomial Continuous Systems (Q4561432) (← links)
- Model Checking Delay Differential Equations Against Metric Interval Temporal Logic (Q4621211) (← links)
- Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems (Q4649391) (← links)
- Resolution for Stochastic Boolean Satisfiability (Q4933336) (← links)
- (Q4945221) (← links)
- (Q5002811) (← links)
- Inner-Approximating Reachable Sets for Polynomial Systems With Time-Varying Uncertainties (Q5125565) (← links)
- Robust invariant sets generation for state-constrained perturbed polynomial systems (Q5239228) (← links)
- Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis (Q5358637) (← links)
- Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic (Q5387634) (← links)
- Take It NP-Easy: Bounded Model Construction for Duration Calculus (Q5392294) (← links)
- Theoretical Aspects of Computing – ICTAC 2005 (Q5395105) (← links)
- (Q5457277) (← links)
- (Q5714448) (← links)
- Deciding an Interval Logic with Accumulated Durations (Q5758112) (← links)
- Mixed-neighborhood, multi-speed cellular automata for safety-aware pedestrian prediction (Q6045068) (← links)
- What's to come is still unsure. Synthesizing controllers resilient to delayed interaction (Q6109581) (← links)