:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Coppola, Rudi, Schnitzer, Yannik, Giacobbe, Mirco, Abate, Alessandro, Mazo Jr, Manuel
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Systems and Control
Online-Zugang:	https://arxiv.org/abs/2509.17739
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Bisimulation Learning
von: Abate, Alessandro, et al.
Veröffentlicht: (2024)

Branching Bisimulation Learning
von: Abate, Alessandro, et al.
Veröffentlicht: (2025)

Data-driven Interval MDP for Robust Control Synthesis
von: Coppola, Rudi, et al.
Veröffentlicht: (2024)

Data-Driven Abstractions for Control Systems via Random Exploration
von: Coppola, Rudi, et al.
Veröffentlicht: (2024)

Quantitative Supermartingale Certificates
von: Abate, Alessandro, et al.
Veröffentlicht: (2025)

Stochastic Omega-Regular Verification and Control with Supermartingales
von: Abate, Alessandro, et al.
Veröffentlicht: (2024)

Certifiably Robust Policies for Uncertain Parametric Environments
von: Schnitzer, Yannik, et al.
Veröffentlicht: (2024)

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification
von: Coppola, Rudi, et al.
Veröffentlicht: (2025)

Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets
von: Solanki, Prashant, et al.
Veröffentlicht: (2025)

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances
von: Gracia, Ibon, et al.
Veröffentlicht: (2024)

Neural Continuous-Time Supermartingale Certificates
von: Neustroev, Grigory, et al.
Veröffentlicht: (2024)

Quantitative Verification with Neural Networks
von: Abate, Alessandro, et al.
Veröffentlicht: (2023)

Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
von: Badings, Thom, et al.
Veröffentlicht: (2025)

Abstracting the Traffic of Nonlinear Event-Triggered Control Systems
von: Delimpaltadakis, Giannis, et al.
Veröffentlicht: (2020)

Continuous-time Data-driven Barrier Certificate Synthesis
von: Rickard, Luke, et al.
Veröffentlicht: (2025)

Efficient Strategy Synthesis for Switched Stochastic Systems with Distributional Uncertainty
von: Gracia, Ibon, et al.
Veröffentlicht: (2022)

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems
von: Nazeri, Mahdi, et al.
Veröffentlicht: (2025)

Hierarchical Event-Triggered Systems: Safe Learning of Quasi-Optimal Deadline Policies
von: Ong, Pio, et al.
Veröffentlicht: (2024)

Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics
von: Nazeri, Mahdi, et al.
Veröffentlicht: (2025)

Formal Analysis of the Sampling Behaviour of Stochastic Event-Triggered Control
von: Delimpaltadakis, Giannis, et al.
Veröffentlicht: (2022)

Interval Markov Decision Processes with Continuous Action-Spaces
von: Delimpaltadakis, Giannis, et al.
Veröffentlicht: (2022)

Certified Neural Approximations of Nonlinear Dynamics
von: Mathiesen, Frederik Baymler, et al.
Veröffentlicht: (2025)

Data-Driven Certificate Synthesis
von: Rickard, Luke, et al.
Veröffentlicht: (2025)

On Training-Conditional Conformal Prediction and Binomial Proportion Confidence Intervals
von: Coppola, Rudi, et al.
Veröffentlicht: (2025)

Networked Communication for Mean-Field Games with Function Approximation and Empirical Mean-Field Estimation
von: Benjamin, Patrick, et al.
Veröffentlicht: (2024)

A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis
von: Edwards, Alec, et al.
Veröffentlicht: (2023)

Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
von: Edwards, Alec, et al.
Veröffentlicht: (2023)

A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions
von: Badings, Thom, et al.
Veröffentlicht: (2024)

Neural Proofs for Sound Verification and Control of Complex Systems
von: Abate, Alessandro
Veröffentlicht: (2025)

Non-Parametric Learning of Stochastic Differential Equations with Non-asymptotic Fast Rates of Convergence
von: Bonalli, Riccardo, et al.
Veröffentlicht: (2023)

A Contract Theory for Layered Control Architectures
von: Mazo Jr., Manuel, et al.
Veröffentlicht: (2024)

Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
von: Cauchi, Nathalie, et al.
Veröffentlicht: (2019)

Polymatroidal Representations of Aggregate EV Flexibility Considering Network Constraints
von: Mukhi, Karan, et al.
Veröffentlicht: (2025)

Certificates Synthesis for A Class of Observational Properties in Stochastic Systems: A Unified Approach
von: Cui, Bohan, et al.
Veröffentlicht: (2026)

Optimal Bayesian Affine Estimator and Active Learning for the Wiener Model
von: Vakili, Sasan, et al.
Veröffentlicht: (2025)

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization
von: Riccardi, Alessandro, et al.
Veröffentlicht: (2026)

Bisimulation metric for Model Predictive Control
von: Shimizu, Yutaka, et al.
Veröffentlicht: (2024)

Efficient Solution and Learning of Robust Factored MDPs
von: Schnitzer, Yannik, et al.
Veröffentlicht: (2025)

Robust Parameter Learning for Uncertain MDPs
von: Schnitzer, Yannik, et al.
Veröffentlicht: (2026)

Memory-dependent abstractions of stochastic systems through the lens of transfer operators
von: Banse, Adrien, et al.
Veröffentlicht: (2025)