The following pages link to Alessandro Abate (Q262436):
Displaying 50 items.
- \texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems (Q262437) (← links)
- Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey (Q271706) (← links)
- On efficient sensor scheduling for linear dynamical systems (Q361004) (← links)
- Characterization and computation of infinite-horizon specifications over Markov processes (Q386604) (← links)
- On infinite horizon switched LQR problems with state and control constraints (Q450631) (← links)
- Quantitative model-checking of controlled discrete-time Markov processes (Q515573) (← links)
- Dynamic Bayesian networks for formal verification of structured stochastic processes (Q523135) (← links)
- Approximate model checking of stochastic hybrid systems (Q629650) (← links)
- Formal abstraction and synthesis of parametric stochastic processes (Q832046) (← links)
- Learning probabilistic termination proofs (Q832245) (← links)
- Understanding deadlock and livelock behaviors in hybrid control systems (Q924105) (← links)
- Probabilistic safety and optimal control for survival analysis of bacillus subtilis (Q962200) (← links)
- Box invariance in biologically-inspired dynamical systems (Q963961) (← links)
- Exponential stabilization of discrete-time switched linear systems (Q1049144) (← links)
- Tropical abstractions of MAX-plus linear systems (Q1631239) (← links)
- Symbolic models for stochastic switched systems: A discretization and a discretization-free approach (Q1689367) (← links)
- Verification of general Markov decision processes by approximate similarity relations and policy refinement (Q1693104) (← links)
- Data-efficient Bayesian verification of parametric Markov chains (Q1693116) (← links)
- Towards scalable synthesis of stochastic control systems (Q1693824) (← links)
- Adaptive aggregation of Markov chains: quantitative analysis of chemical reaction networks (Q1702921) (← links)
- Experimental biological protocols with formal semantics (Q1796495) (← links)
- Irreversible prey diapause as an optimal strategy of a physiologically extended Lotka-Volterra model (Q1944641) (← links)
- Approximate policy iteration for Markov decision processes via quantitative adaptive aggregations (Q1990495) (← links)
- Deep reinforcement learning with temporal logics (Q1996007) (← links)
- Computation of the transient in max-plus linear systems via SMT-solving (Q1996024) (← links)
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration (Q2031413) (← links)
- Automated and formal synthesis of neural barrier certificates for dynamical models (Q2044214) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- ABC(SMC)\textsuperscript{2}: simultaneous inference and model checking of chemical reaction networks (Q2110675) (← links)
- Bounded model checking of max-plus linear systems via predicate abstractions (Q2176702) (← links)
- Safety verification of continuous-space pure jump Markov processes (Q2272916) (← links)
- Automated formal synthesis of provably safe digital controllers for continuous plants (Q2303883) (← links)
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems (Q2377974) (← links)
- Data-driven and model-based verification via Bayesian identification and reachability analysis (Q2409334) (← links)
- Computational techniques for reachability analysis of Max-Plus-Linear systems (Q2409446) (← links)
- On the effect of perturbation of conditional probabilities in total variation (Q2453864) (← links)
- Approximately bisimilar symbolic models for randomly switched stochastic systems (Q2454178) (← links)
- A stochastic games framework for verification and control of discrete time stochastic hybrid systems (Q2628473) (← links)
- Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes (Q2871352) (← links)
- Intra-seasonal Strategies Based on Energy Budgets in a Dynamic Predator–Prey Game (Q2926602) (← links)
- Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems (Q2945585) (← links)
- Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (Q2949859) (← links)
- Formal Verification of Stochastic Max-Plus-Linear Systems (Q2980331) (← links)
- Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions (Q2982915) (← links)
- On the Optimal Solutions of the Infinite-Horizon Linear Sensor Scheduling Problem (Q2983006) (← links)
- Probabilistic Reach-Avoid Computation for Partially Degenerate Stochastic Processes (Q2983282) (← links)
- Quantitative automata model checking of autonomous stochastic hybrid systems (Q2986716) (← links)
- Probabilistic invariance of mixed deterministic-stochastic dynamical systems (Q2986768) (← links)
- Regularization of bellman equations for infinite-horizon probabilistic properties (Q2986770) (← links)
- Robust PCTL model checking (Q2986774) (← links)
