Markov decision processes and regular events
From MaRDI portal
(Redirected from Publication:4506554)
Recommendations
Cited in
(48)- Automatic verification of real-time systems with discrete probability distributions.
- On probabilistic timed automata.
- Reachability analysis of uncertain systems using bounded-parameter Markov decision processes
- Recursive Markov decision processes and recursive stochastic games
- Least-violating control strategy synthesis with safety rules
- Limited-information control of hybrid systems via reachable set propagation
- Resilient synchronization in robust networked multi-agent systems
- Learning nonlinear hybrid systems: from sparse optimization to support vector regression
- Mining requirements from closed-loop control models
- On the decidability of stability of hybrid systems
- Lyapunov analysis of rigid body systems with impacts and friction via sums-of-squares
- Hybrid control Lyapunov functions for the stabilization of hybrid systems
- A toolbox for simulation of hybrid systems in Matlab/Simulink. Hybrid Equations (HyEQ) Toolbox
- Stabhyli -- a tool for automatic stability verification of non-linear hybrid systems
- Zélus: a synchronous language with ODEs
- State estimation for polyhedral hybrid systems and applications to the Godunov scheme
- Observer design for a class of piecewise affine hybrid systems
- Automated analysis of real-time scheduling using graph games
- Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
- One-shot computation of reachable sets for differential games
- Tracking differentiable trajectories across polyhedra boundaries
- Flowpipe approximation and clustering in space-time
- Bounded model-checking of discrete duration calculus
- Optimal CPU allocation to a set of control tasks with soft real-time execution constraints
- Safe schedulability of bounded-rate multi-mode systems
- Compositional heterogeneous abstraction
- Quantitative timed simulation functions and refinement metrics for real-time systems
- Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems
- Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
- Control design for specifications on stochastic hybrid systems
- Rewarding probabilistic hybrid automata
- Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata
- Specification-guided controller synthesis for linear systems and safe linear-time temporal logic
- Temporal logic model predictive control for discrete-time systems
- Iterative temporal motion planning for hybrid systems in partially unknown environments
- Quantitative multi-objective verification for probabilistic systems
- Synthesis with rational environments
- Trading performance for stability in Markov decision processes
- Probabilistic Verification of Uncertain Systems Using Bounded-Parameter Markov Decision Processes
- Decision Problems for Nash Equilibria in Stochastic Games
- Compositional probabilistic verification through multi-objective model checking
- scientific article; zbMATH DE number 177825 (Why is no real title available?)
- Polynomial time algorithms for branching Markov decision processes and probabilistic min(max) polynomial Bellman equations
- Quantitative model-checking of controlled discrete-time Markov processes
- Quantifying opacity
- The smoothed complexity of policy iteration for Markov decision processes
- Regular decision processes
- Reachability games and friends: a journey through the Lens of memory and complexity (invited talk)
This page was built for publication: Markov decision processes and regular events
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4506554)
