保存先:
| 主要な著者: | , |
|---|---|
| フォーマット: | Preprint |
| 出版事項: |
2025
|
| 主題: | |
| オンライン･アクセス: | https://arxiv.org/abs/2507.02721 |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
類似資料
Formal Modelling and Analysis of Slot Machines
著者:: Groote, Jan Friso, 等
出版事項: (2024)
著者:: Groote, Jan Friso, 等
出版事項: (2024)
Tutorial: Designing Distributed Software in mCRL2
著者:: Groote, Jan Friso, 等
出版事項: (2021)
著者:: Groote, Jan Friso, 等
出版事項: (2021)
A Quadratic Lower Bound for Simulation
著者:: Groote, Jan Friso, 等
出版事項: (2024)
著者:: Groote, Jan Friso, 等
出版事項: (2024)
A Complete Formal Specification and Verification of the BESW software control system of the Maeslant Storm Surge Barrier
著者:: Beers, Adrian, 等
出版事項: (2025)
著者:: Beers, Adrian, 等
出版事項: (2025)
Lowerbounds for Bisimulation by Partition Refinement
著者:: Groote, Jan Friso, 等
出版事項: (2022)
著者:: Groote, Jan Friso, 等
出版事項: (2022)
A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice
著者:: van Glabbeek, Rob, 等
出版事項: (2025)
著者:: van Glabbeek, Rob, 等
出版事項: (2025)
A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems
著者:: Jansen, David N., 等
出版事項: (2019)
著者:: Jansen, David N., 等
出版事項: (2019)
Fair Mutual Exclusion for N Processes (extended version)
著者:: Hafidi, Yousra, 等
出版事項: (2021)
著者:: Hafidi, Yousra, 等
出版事項: (2021)
A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
著者:: Graebener, Josefine B., 等
出版事項: (2025)
著者:: Graebener, Josefine B., 等
出版事項: (2025)
Inferentialist Resource Semantics
著者:: Gheorghiu, Alexander V., 等
出版事項: (2024)
著者:: Gheorghiu, Alexander V., 等
出版事項: (2024)
Sound Value Iteration for Simple Stochastic Games
著者:: Azeem, Muqsit, 等
出版事項: (2024)
著者:: Azeem, Muqsit, 等
出版事項: (2024)
Quantitative Supermartingale Certificates
著者:: Abate, Alessandro, 等
出版事項: (2025)
著者:: Abate, Alessandro, 等
出版事項: (2025)
ARCH-COMP25 Category Report: Stochastic Models
著者:: Abate, Alessandro, 等
出版事項: (2025)
著者:: Abate, Alessandro, 等
出版事項: (2025)
Solvability of Approximate Reach-Avoid Games
著者:: Gleirscher, Mario
出版事項: (2025)
著者:: Gleirscher, Mario
出版事項: (2025)
Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis (Extended Version)
著者:: Hsieh, Chiao, 等
出版事項: (2025)
著者:: Hsieh, Chiao, 等
出版事項: (2025)
Supermartingale Certificates for Quantitative Omega-regular Verification and Control
著者:: Henzinger, Thomas A., 等
出版事項: (2025)
著者:: Henzinger, Thomas A., 等
出版事項: (2025)
Control Closure Certificates
著者:: Murali, Vishnu, 等
出版事項: (2025)
著者:: Murali, Vishnu, 等
出版事項: (2025)
Reachability Analysis Using Constrained Polynomial Logical Zonotopes
著者:: Hafez, Ahmad, 等
出版事項: (2024)
著者:: Hafez, Ahmad, 等
出版事項: (2024)
Context-Aided Variable Elimination for Requirement Engineering
著者:: Incer, Inigo, 等
出版事項: (2023)
著者:: Incer, Inigo, 等
出版事項: (2023)
Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
著者:: Hadjiloizou, Loizos, 等
出版事項: (2024)
著者:: Hadjiloizou, Loizos, 等
出版事項: (2024)
Learning Robust Policies for Uncertain Parametric Markov Decision Processes
著者:: Rickard, Luke, 等
出版事項: (2023)
著者:: Rickard, Luke, 等
出版事項: (2023)
CESAR: Control Envelope Synthesis via Angelic Refinements
著者:: Kabra, Aditi, 等
出版事項: (2023)
著者:: Kabra, Aditi, 等
出版事項: (2023)
Stochastic Omega-Regular Verification and Control with Supermartingales
著者:: Abate, Alessandro, 等
出版事項: (2024)
著者:: Abate, Alessandro, 等
出版事項: (2024)
Closure Certificates
著者:: Murali, Vishnu, 等
出版事項: (2023)
著者:: Murali, Vishnu, 等
出版事項: (2023)
Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations
著者:: Schön, Oliver, 等
出版事項: (2023)
著者:: Schön, Oliver, 等
出版事項: (2023)
Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design
著者:: Incer, Inigo, 等
出版事項: (2023)
著者:: Incer, Inigo, 等
出版事項: (2023)
Precision on Demand: Propositional Logic for Event-Trigger Threshold Regulation
著者:: Tang, Valdemar, 等
出版事項: (2024)
著者:: Tang, Valdemar, 等
出版事項: (2024)
Strategy Templates for Almost-Sure and Positive Winning of Stochastic Parity Games towards Permissive and Resilient Control
著者:: Phalakarn, Kittiphon, 等
出版事項: (2024)
著者:: Phalakarn, Kittiphon, 等
出版事項: (2024)
Efficient Discovery of Actual Causality using Abstraction-Refinement
著者:: Rafieioskouei, Arshia, 等
出版事項: (2024)
著者:: Rafieioskouei, Arshia, 等
出版事項: (2024)
Composition and Merging of Assume-Guarantee Contracts Are Tensor Products
著者:: Incer, Inigo
出版事項: (2024)
著者:: Incer, Inigo
出版事項: (2024)
Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
著者:: Gu, Chao, 等
出版事項: (2020)
著者:: Gu, Chao, 等
出版事項: (2020)
IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
著者:: Mathiesen, Frederik Baymler, 等
出版事項: (2024)
著者:: Mathiesen, Frederik Baymler, 等
出版事項: (2024)
HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
著者:: Murali, Vishnu, 等
出版事項: (2026)
著者:: Murali, Vishnu, 等
出版事項: (2026)
Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics
著者:: Engelaar, Maico H. W., 等
出版事項: (2024)
著者:: Engelaar, Maico H. W., 等
出版事項: (2024)
Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach
著者:: Monir, Negar, 等
出版事項: (2025)
著者:: Monir, Negar, 等
出版事項: (2025)
Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
著者:: Badings, Thom, 等
出版事項: (2025)
著者:: Badings, Thom, 等
出版事項: (2025)
Barrier Certificates for Uncertain Temporal Specifications
著者:: Mamduhi, Mohammad H., 等
出版事項: (2026)
著者:: Mamduhi, Mohammad H., 等
出版事項: (2026)
Towards Automatic Linearization via SMT Solving
著者:: Cao, Jian, 等
出版事項: (2024)
著者:: Cao, Jian, 等
出版事項: (2024)
Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis
著者:: Kochdumper, Niklas, 等
出版事項: (2023)
著者:: Kochdumper, Niklas, 等
出版事項: (2023)
Learning Algorithms for Verification of Markov Decision Processes
著者:: Brázdil, Tomáš, 等
出版事項: (2024)
著者:: Brázdil, Tomáš, 等
出版事項: (2024)