Cover Image

What Are the Odds? Improving the foundations of Statistical Model Checking

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Meggendorfer, Tobias, Weininger, Maximilian, Wienhöft, Patrick
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence Machine Learning Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Solving Robust Markov Decision Processes: Generic, Reliable, Efficient
by: Meggendorfer, Tobias, et al.
Published: (2024)

Playing Games with your PET: Extending the Partial Exploration Tool to Stochastic Games
by: Meggendorfer, Tobias, et al.
Published: (2024)

Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
by: Budde, Carlos E., et al.
Published: (2024)

Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality (extended version)
by: Budde, Carlos E., et al.
Published: (2025)

SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning
by: Kretinsky, Jan, et al.
Published: (2025)

1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization
by: Azeem, Muqsit, et al.
Published: (2024)

Input-to-State Stable Coupled Oscillator Networks for Closed-form Model-based Control in Latent Space
by: Stölzle, Maximilian, et al.
Published: (2024)

Go-Explore for Residential Energy Management
by: Lu, Junlin, et al.
Published: (2024)

Balancing Specialization and Centralization: A Multi-Agent Reinforcement Learning Benchmark for Sequential Industrial Control
by: Maus, Tom, et al.
Published: (2025)

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

Improving Mixed-Criticality Scheduling with Reinforcement Learning
by: El-Mahdy, Muhammad, et al.
Published: (2025)

ReACT: Reinforcement Learning for Controller Parametrization using B-Spline Geometries
by: Rudolf, Thomas, et al.
Published: (2024)

Improved Long Short-Term Memory-based Wastewater Treatment Simulators for Deep Reinforcement Learning
by: Mohammadi, Esmaeel, et al.
Published: (2024)

Trustworthy and Explainable Deep Reinforcement Learning for Safe and Energy-Efficient Process Control: A Use Case in Industrial Compressed Air Systems
by: Bezold, Vincent, et al.
Published: (2025)

Improving Variational Autoencoder using Random Fourier Transformation: An Aviation Safety Anomaly Detection Case-Study
by: Asanjan, Ata Akbari, et al.
Published: (2026)

Statistically Assuring Safety of Control Systems using Ensembles of Safety Filters and Conformal Prediction
by: Tabbara, Ihab, et al.
Published: (2025)

Algorithmic Control Improves Residential Building Energy and EV Management when PV Capacity is High but Battery Capacity is Low
by: Ullner, Lennart, et al.
Published: (2025)

Align and Filter: Improving Performance in Asynchronous On-Policy RL
by: Honari, Homayoun, et al.
Published: (2026)

Optimistic World Models: Efficient Exploration in Model-Based Deep Reinforcement Learning
by: Mete, Akshay, et al.
Published: (2026)

Understanding the differences in Foundation Models: Attention, State Space Models, and Recurrent Neural Networks
by: Sieber, Jerome, et al.
Published: (2024)

Large Language Model Powered Automated Modeling and Optimization of Active Distribution Network Dispatch Problems
by: Yang, Xu, et al.
Published: (2025)

Socially Integrated Navigation: A Social Acting Robot with Deep Reinforcement Learning
by: Flögel, Daniel, et al.
Published: (2024)

Mean-Field Control on Sparse Graphs: From Local Limits to GNNs via Neighborhood Distributions
by: Schmidt, Tobias, et al.
Published: (2026)

Novelty Detection in Reinforcement Learning with World Models
by: Zollicoffer, Geigh, et al.
Published: (2023)

A Selective Quantization Tuner for ONNX Models
by: Louloudakis, Nikolaos, et al.
Published: (2025)

Foundation Models for CPS-IoT: Opportunities and Challenges
by: Baris, Ozan, et al.
Published: (2025)

Reinforcement Learning with Partial Parametric Model Knowledge
by: Wang, Shuyuan, et al.
Published: (2023)

A cGAN Ensemble-based Uncertainty-aware Surrogate Model for Offline Model-based Optimization in Industrial Control Problems
by: Feng, Cheng
Published: (2022)

Towards Auto-Modeling of Formal Verification for NextG Protocols: A Multimodal cross- and self-attention Large Language Model Approach
by: Yang, Jingda, et al.
Published: (2023)

Approximate Model-Based Shielding for Safe Reinforcement Learning
by: Goodall, Alexander W., et al.
Published: (2023)

Time-Aware World Model for Adaptive Prediction and Control
by: Nhu, Anh N., et al.
Published: (2025)

FlightKooba: A Fast Interpretable FTP Model
by: Lu, Jing, et al.
Published: (2025)

Naga: Vedic Encoding for Deep State Space Models
by: Schaller, Melanie, et al.
Published: (2025)

Integrating Reinforcement Learning and Model Predictive Control with Applications to Microgrids
by: da Silva, Caio Fabio Oliveira, et al.
Published: (2024)

Offline Reinforcement Learning and Sequence Modeling for Downlink Link Adaptation
by: Peri, Samuele, et al.
Published: (2024)

Safe Deep Model-Based Reinforcement Learning with Lyapunov Functions
by: Zhang, Harry
Published: (2024)

Generative Modeling and Data Augmentation for Power System Production Simulation
by: Xu, Linna, et al.
Published: (2024)

SEAL: SEmantic-Augmented Imitation Learning via Language Model
by: Gu, Chengyang, et al.
Published: (2024)

Synergies between Federated Foundation Models and Smart Power Grids
by: Hosseinalipour, Seyyedali, et al.
Published: (2025)

Synthesis of Model Predictive Control and Reinforcement Learning: Survey and Classification
by: Reiter, Rudolf, et al.
Published: (2025)