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)- It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models
- Least-violating control strategy synthesis with safety rules
- Learning nonlinear hybrid systems: from sparse optimization to support vector regression
- Flowpipe approximation and clustering in space-time
- Counterexample-guided inductive synthesis for probabilistic systems
- Observer design for a class of piecewise affine hybrid systems
- Tracking differentiable trajectories across polyhedra boundaries
- Smoothed model checking for uncertain continuous-time Markov chains
- Limited-information control of hybrid systems via reachable set propagation
- Automation of fault-tolerant graceful degradation
- The complexity of reachability in parametric Markov decision processes
- Parameter synthesis for Markov models: covering the parameter space
- Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
- Lyapunov analysis of rigid body systems with impacts and friction via sums-of-squares
- Clock bound repair for timed systems
- Automated analysis of real-time scheduling using graph games
- Safe schedulability of bounded-rate multi-mode systems
- On the Complexity of Reachability in Parametric Markov Decision Processes
- A Multi-level Refinement Approach for Structural Synthesis of Optimal Probabilistic Models
- The Complexity of Linear-Time Temporal Logic Model Repair
- Optimal CPU allocation to a set of control tasks with soft real-time execution constraints
- Control design for specifications on stochastic hybrid systems
- Iterative temporal motion planning for hybrid systems in partially unknown environments
- Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata
- Solving systems of bilinear equations for transition rate reconstruction
- Fine-tuning the odds in Bayesian networks
- Hybrid control Lyapunov functions for the stabilization of hybrid systems
- 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
- Gradient-descent for randomized controllers under partial observability
- Synthesizing optimal bias in randomized self-stabilization
- Are parametric Markov chains monotonic?
- Sequential convex programming for the efficient verification of parametric MDPs
- Deniable Functional Encryption
- On the decidability of stability of hybrid systems
- Inductive synthesis for probabilistic programs reaches new horizons
- System design of stochastic models using robustness of temporal properties
- Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
- A toolbox for simulation of hybrid systems in Matlab/Simulink. Hybrid Equations (HyEQ) Toolbox
- Abstraction-Refinement for Hierarchical Probabilistic Models
- Change-Preserving Model Repair
- Rate lifting for stochastic process algebra -- exploiting structural properties
- Rate lifting for stochastic process algebra by transition context augmentation
- 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
- Two AGM-style characterizations of model repair
- Bounded model-checking of discrete duration calculus
- Incremental Verification of Parametric and Reconfigurable Markov Chains
- Abstract model repair for probabilistic systems
- Parameter-Independent Strategies for pMDPs via POMDPs
- Parameter synthesis in Markov models: a gentle survey
- Counterexample-driven synthesis for probabilistic program sketches
- Mining requirements from closed-loop control models
- Stabhyli -- a tool for automatic stability verification of non-linear hybrid systems
- Zélus: a synchronous language with ODEs
- Temporal logic model predictive control for discrete-time systems
- Quantitative timed simulation functions and refinement metrics for real-time 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)
