Model repair for probabilistic systems
From MaRDI portal
Publication:3000664
Recommendations
Cites work
- A logic for reasoning about time and reliability
- Algorithm 852
- Computer Aided Verification
- Enhancing model checking in verification by AI techniques
- Parametric probabilistic transition systems for system design and analysis
- Stochastic model checking
- Theoretical Aspects of Computing - ICTAC 2004
- Vacuity checking in the modal mu-calculus
Cited in
(60)- Abstraction-Refinement for Hierarchical Probabilistic Models
- Rate lifting for stochastic process algebra -- exploiting structural properties
- Parameter synthesis in Markov models: a gentle survey
- Parameter-Independent Strategies for pMDPs via POMDPs
- Incremental Verification of Parametric and Reconfigurable Markov Chains
- Counterexample-driven synthesis for probabilistic program sketches
- Rate lifting for stochastic process algebra by transition context augmentation
- Parameter synthesis for Markov models: covering the parameter space
- A Multi-level Refinement Approach for Structural Synthesis of Optimal Probabilistic Models
- Control design for specifications on stochastic hybrid systems
- Iterative temporal motion planning for hybrid systems in partially unknown environments
- Flowpipe approximation and clustering in space-time
- On the Complexity of Reachability in Parametric Markov Decision Processes
- Automation of fault-tolerant graceful degradation
- Inductive synthesis for probabilistic programs reaches new horizons
- Are parametric Markov chains monotonic?
- Sequential convex programming for the efficient verification of parametric MDPs
- Clock bound repair for timed systems
- Observer design for a class of piecewise affine hybrid systems
- Tracking differentiable trajectories across polyhedra boundaries
- Limited-information control of hybrid systems via reachable set propagation
- Quantitative timed simulation functions and refinement metrics for real-time systems
- The complexity of reachability in parametric Markov decision processes
- The Complexity of Linear-Time Temporal Logic Model Repair
- Counterexample-guided inductive synthesis for probabilistic systems
- It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models
- Gradient-descent for randomized controllers under partial observability
- Mining requirements from closed-loop control models
- Optimal CPU allocation to a set of control tasks with soft real-time execution constraints
- Deniable Functional Encryption
- Synthesizing optimal bias in randomized self-stabilization
- Stabhyli -- a tool for automatic stability verification of non-linear hybrid systems
- Zélus: a synchronous language with ODEs
- On the decidability of stability of hybrid systems
- System design of stochastic models using robustness of temporal properties
- Change-Preserving Model Repair
- Safe schedulability of bounded-rate multi-mode systems
- Hybrid control Lyapunov functions for the stabilization of hybrid systems
- Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
- Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
- Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata
- Lyapunov analysis of rigid body systems with impacts and friction via sums-of-squares
- Least-violating control strategy synthesis with safety rules
- Automated analysis of real-time scheduling using graph games
- Bounded model-checking of discrete duration calculus
- Two AGM-style characterizations of model repair
- Temporal logic model predictive control for discrete-time systems
- Smoothed model checking for uncertain continuous-time Markov chains
- Compositional heterogeneous abstraction
- One-shot computation of reachable sets for differential games
- Resilient synchronization in robust networked multi-agent systems
- Rewarding probabilistic hybrid automata
- State estimation for polyhedral hybrid systems and applications to the Godunov scheme
- A toolbox for simulation of hybrid systems in Matlab/Simulink. Hybrid Equations (HyEQ) Toolbox
- Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems
- Specification-guided controller synthesis for linear systems and safe linear-time temporal logic
- Solving systems of bilinear equations for transition rate reconstruction
- Fine-tuning the odds in Bayesian networks
- Learning nonlinear hybrid systems: from sparse optimization to support vector regression
- Abstract model repair for probabilistic systems
This page was built for publication: Model repair for probabilistic systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3000664)
