The following pages link to Alessandro Abate (Q262436):
Displaying 47 items.
- Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems (Q2986933) (← links)
- Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems (Q2986934) (← links)
- Bisimilar symbolic models for stochastic control systems without state-space discretization (Q2986948) (← links)
- On approximation metrics for linear temporal model-checking of stochastic systems (Q2986966) (← links)
- On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context (Q2988377) (← links)
- Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions (Q3196339) (← links)
- Markov Set-Chains as Abstractions of Stochastic Hybrid Systems (Q3523095) (← links)
- Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps (Q3523139) (← links)
- Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems (Q3612955) (← links)
- Stabilization of Discrete-Time Switched Linear Systems: A Control-Lyapunov Function Approach (Q3624589) (← links)
- (Q4583940) (← links)
- Symbolic Abstractions of Networked Control Systems (Q4630189) (← links)
- Higher-Order Approximations for Verification of Stochastic Hybrid Systems (Q4649312) (← links)
- Piecewise affine approximations of fluxes and enzyme kinetics from <i>in vivo</i><sup>13</sup>C labeling experiments (Q4909336) (← links)
- Design and analysis of a flow control scheme over wireless networks (Q4919548) (← links)
- On the Value Functions of the Discrete-Time Switched LQR Problem (Q4974810) (← links)
- Formal Control Synthesis via Simulation Relations and Behavioral Theory for Discrete-Time Descriptor Systems (Q4990149) (← links)
- Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers (Q5039505) (← links)
- Model-Based Formal Reliability Analysis of Grid Dynamics with Solar Energy Sources (Q5054367) (← links)
- Sound Numerical Computations in Abstract Acceleration (Q5086230) (← links)
- SMT-Based Reachability Analysis of High Dimensional Interval Max-Plus Linear Systems (Q5092176) (← links)
- Efficiency through uncertainty (Q5239245) (← links)
- StocHy - automated verification and synthesis of stochastic processes (Q5239247) (← links)
- Reachability Computation for Switching Diffusions (Q5275319) (← links)
- Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants (Q5275332) (← links)
- Approximate Abstractions of Stochastic Hybrid Systems (Q5347900) (← links)
- Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement (Q5348126) (← links)
- Infinite-Horizon Switched LQR Problems in Discrete Time: A Suboptimal Algorithm With Performance Analysis (Q5352885) (← links)
- Finite Abstractions of Max-Plus-Linear Systems (Q5353426) (← links)
- Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes (Q5357702) (← links)
- Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes (Q5853981) (← links)
- Hybrid Systems: Computation and Control (Q5898969) (← links)
- Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems (Q6077088) (← links)
- Reasoning about causality in games (Q6103660) (← links)
- SMT-based model checking of max-plus linear systems (Q6134268) (← links)
- Certified reinforcement learning with logic guidance (Q6136089) (← links)
- Synthesising programs with non-trivial constants (Q6161231) (← links)
- Grid-Free Computation of Probabilistic Safety With Malliavin Calculus (Q6184469) (← links)
- On Imperfect Recall in Multi-Agent Influence Diagrams (Q6199609) (← links)
- Tropical Abstractions of Max-Plus-Linear Systems (Q6302918) (← links)
- A Randomized Algorithm to Reduce the Support of Discrete Measures (Q6341948) (← links)
- Carath\'eodory Sampling for Stochastic Gradient Descent (Q6341957) (← links)
- Markov Chain Approximations to Stochastic Differential Equations by Recombination on Lattice Trees (Q6382315) (← links)
- Policy Evaluation in Distributional LQR (Extended Version) (Q6518040) (← links)
- Formal controller synthesis for Markov jump linear systems with uncertain dynamics (Q6546444) (← links)
- Distributional reachability for Markov decision processes: theory and applications (Q6589016) (← links)
- Probabilistic reach-avoid for Bayesian neural networks (Q6592977) (← links)
