:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Neustroev, Grigory, Giacobbe, Mirco, Lukina, Anna
Format:	Preprint
Published:	2024
Subjects:	Systems and Control Artificial Intelligence
Online Access:	https://arxiv.org/abs/2412.17432
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Quantitative Supermartingale Certificates
by: Abate, Alessandro, et al.
Published: (2025)

Stochastic Omega-Regular Verification and Control with Supermartingales
by: Abate, Alessandro, et al.
Published: (2024)

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change
by: Lutz, Sterre, et al.
Published: (2025)

Complete $ω$-Regular Supermartingale Certificates
by: Abate, Alessandro, et al.
Published: (2026)

Value Functions as Supermartingale Certificates
by: Abate, Alessandro, et al.
Published: (2026)

Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems
by: Kranzlmüller, Miriam, et al.
Published: (2026)

Supermartingale Certificates for Quantitative Omega-regular Verification and Control
by: Henzinger, Thomas A., et al.
Published: (2025)

Safety Certification is Classification
by: Schön, Oliver, et al.
Published: (2026)

Verification of Neural Network Control Systems in Continuous Time
by: ArjomandBigdeli, Ali, et al.
Published: (2024)

Action Mapping for Reinforcement Learning in Continuous Environments with Constraints
by: Theile, Mirco, et al.
Published: (2024)

Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates
by: Wang, Chengxiao, et al.
Published: (2026)

Existence and Synthesis of Multi-Resolution Approximate Bisimulations for Continuous-State Dynamical Systems
by: Coppola, Rudi, et al.
Published: (2025)

An agent design with goal reaching guarantees for enhancement of learning
by: Osinenko, Pavel, et al.
Published: (2024)

k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics
by: Wooding, Ben, et al.
Published: (2026)

Multi-CALF: A Policy Combination Approach with Statistical Guarantees
by: Malaniya, Georgiy, et al.
Published: (2025)

A universal policy wrapper with guarantees
by: Bolychev, Anton, et al.
Published: (2025)

Continuous-Time Distributed Dynamic Programming for Networked Multi-Agent Markov Decision Processes
by: Lee, Donghwan, et al.
Published: (2023)

Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates
by: Mandal, Udayan, et al.
Published: (2024)

Convolutional Neural Network Design and Evaluation for Real-Time Multivariate Time Series Fault Detection in Spacecraft Attitude Sensors
by: Gallon, Riccardo, et al.
Published: (2024)

A Barrier Certificate-based Simplex Architecture for Systems with Approximate and Hybrid Dynamics
by: Damare, Amol, et al.
Published: (2022)

Safe Domains of Attraction for Discrete-Time Nonlinear Systems: Characterization and Verifiable Neural Network Estimation
by: Serry, Mohamed, et al.
Published: (2025)

Dispatch-Aware Deep Neural Network for Optimal Transmission Switching: Toward Real-Time and Feasibility Guaranteed Operation
by: Kim, Minsoo, et al.
Published: (2025)

Sublinear Regret for a Class of Continuous-Time Linear-Quadratic Reinforcement Learning Problems
by: Huang, Yilie, et al.
Published: (2024)

MSACL: Multi-Step Actor-Critic Learning with Lyapunov Certificates for Exponentially Stabilizing Control
by: Zhang, Yongwei, et al.
Published: (2025)

Data-Driven Exploration for a Class of Continuous-Time Indefinite Linear--Quadratic Reinforcement Learning Problems
by: Huang, Yilie, et al.
Published: (2025)

Interval Markov Decision Processes with Continuous Action-Spaces
by: Delimpaltadakis, Giannis, et al.
Published: (2022)

Fusion of Quadratic Time-Frequency Analysis and Convolutional Neural Networks to Diagnose Bearing Faults Under Time-Varying Speeds
by: Al-Sa'd, Mohammad, et al.
Published: (2024)

Specification Generation for Neural Networks in Systems
by: Chaudhary, Isha, et al.
Published: (2024)

Stability-Preserving Online Adaptation of Neural Closed-loop Maps
by: Saccani, Danilo, et al.
Published: (2026)

Optimal Output Feedback Learning Control for Discrete-Time Linear Quadratic Regulation
by: Xie, Kedi, et al.
Published: (2025)

The FABRIC Strategy for Verifying Neural Feedback Systems
by: Akinwande, Samuel I., et al.
Published: (2026)

A novel agent with formal goal-reaching guarantees: an experimental study with a mobile robot
by: Yaremenko, Grigory, et al.
Published: (2024)

Quantitative Verification with Neural Networks
by: Abate, Alessandro, et al.
Published: (2023)

AI Explainability for Power Electronics: From a Lipschitz Continuity Perspective
by: Li, Xinze, et al.
Published: (2025)

Real-Time Decision-Making for Digital Twin in Additive Manufacturing with Model Predictive Control using Time-Series Deep Neural Networks
by: Chen, Yi-Ping, et al.
Published: (2025)

Neural Network Tire Force Modeling for Automated Drifting
by: Broadbent, Nicholas Drake, et al.
Published: (2024)

Physics-Informed Neural Networks for Nonlinear Output Regulation
by: Mengozzi, Sebastiano, et al.
Published: (2025)

GLinSAT: The General Linear Satisfiability Neural Network Layer By Accelerated Gradient Descent
by: Zeng, Hongtai, et al.
Published: (2024)

Identification For Control Based on Neural Networks: Approximately Linearizable Models
by: Thieffry, Maxime, et al.
Published: (2024)

Point-Based Value Iteration for POMDPs with Neural Perception Mechanisms
by: Yan, Rui, et al.
Published: (2023)