:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Phalakarn, Kittiphon, Pruekprasert, Sasinee, Hasuo, Ichiro
Format:	Preprint
Published:	2024
Subjects:	Systems and Control Logic in Computer Science
Online Access:	https://arxiv.org/abs/2409.08607
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games
by: Phalakarn, Kittiphon, et al.
Published: (2025)

Algorithm and Strategy Construction for Sure-Almost-Sure Stochastic Parity Games
by: Doyen, Laurent, et al.
Published: (2026)

Compositional Verification of Almost-Sure Büchi Objectives in MDPs
by: van der Vegt, Marck, et al.
Published: (2025)

Model-bounded monitoring of hybrid systems
by: Waga, Masaki, et al.
Published: (2021)

Safe Arrival Scheduling at Constraint Waypoints in UAM Corridors
by: Pruekprasert, Sasinee, et al.
Published: (2026)

AP-observation Automata for Abstraction-based Verification of Continuous-time Systems (Extended Version)
by: Pruekprasert, Sasinee, et al.
Published: (2025)

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

Sound Value Iteration for Simple Stochastic Games
by: Azeem, Muqsit, et al.
Published: (2024)

Synthesizing Permissive Winning Strategy Templates for Parity Games
by: Anand, Ashwani, et al.
Published: (2023)

Positive Almost-Sure Termination of Polynomial Random Walks
by: Winkler, Lorenz, et al.
Published: (2025)

Safety-Assured Arrival Scheduling in Sequential UAM Corridor Sections under Speed and Separation Constraints
by: Pruekprasert, Sasinee, et al.
Published: (2026)

Solvability of Approximate Reach-Avoid Games
by: Gleirscher, Mario
Published: (2025)

ARCH-COMP25 Category Report: Stochastic Models
by: Abate, Alessandro, et al.
Published: (2025)

Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics
by: Engelaar, Maico H. W., et al.
Published: (2024)

Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach
by: Monir, Negar, et al.
Published: (2025)

Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
by: Vázquez, Gricel, et al.
Published: (2026)

Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
by: Badings, Thom, et al.
Published: (2025)

Control Closure Certificates
by: Murali, Vishnu, et al.
Published: (2025)

CESAR: Control Envelope Synthesis via Angelic Refinements
by: Kabra, Aditi, et al.
Published: (2023)

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

Disproving (Positive) Almost-Sure Termination of Probabilistic Term Rewriting via Random Walks
by: Kassing, Jan-Christoph, et al.
Published: (2026)

From Visual to Digital: Coordination Scheduling and Its Effect on Safety and Efficiency in UAM Corridors
by: Fujita, Akihiro, et al.
Published: (2026)

Almost-Sure Termination by Guarded Refinement
by: Gregersen, Simon Oddershede, et al.
Published: (2024)

A Unifying Approach to Product Constructions for Quantitative Temporal Inference
by: Watanabe, Kazuki, et al.
Published: (2024)

Robust Almost-Sure Reachability in Multi-Environment MDPs
by: van der Vegt, Marck, et al.
Published: (2023)

On Generalized Performance Evaluation and Generalized Controller Synthesis
by: Cao, Zining
Published: (2026)

Resilient-Native and Intelligent Next-Generation Wireless Systems: Key Enablers, Foundations, and Applications
by: Bennis, Mehdi, et al.
Published: (2025)

Inferentialist Resource Semantics
by: Gheorghiu, Alexander V., et al.
Published: (2024)

Determining the Winner in Alternating-Move Games
by: Bellaïche, Itamar, et al.
Published: (2026)

Safe and Reliable Training of Learning-Based Aerospace Controllers
by: Mandal, Udayan, et al.
Published: (2024)

Reachability Analysis Using Constrained Polynomial Logical Zonotopes
by: Hafez, Ahmad, et al.
Published: (2024)

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
by: Hadjiloizou, Loizos, et al.
Published: (2024)

Precision on Demand: Propositional Logic for Event-Trigger Threshold Regulation
by: Tang, Valdemar, et al.
Published: (2024)

Efficient Discovery of Actual Causality using Abstraction-Refinement
by: Rafieioskouei, Arshia, et al.
Published: (2024)

Composition and Merging of Assume-Guarantee Contracts Are Tensor Products
by: Incer, Inigo
Published: (2024)

IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
by: Mathiesen, Frederik Baymler, et al.
Published: (2024)

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

Context-Aided Variable Elimination for Requirement Engineering
by: Incer, Inigo, et al.
Published: (2023)

Learning Robust Policies for Uncertain Parametric Markov Decision Processes
by: Rickard, Luke, et al.
Published: (2023)

Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis (Extended Version)
by: Hsieh, Chiao, et al.
Published: (2025)