Imagen de Portada

Efficient Discovery of Actual Causality using Abstraction-Refinement

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Rafieioskouei, Arshia, Bonakdarpour, Borzoo
Formato:	Preprint
Publicado:	2024
Materias:	Logic in Computer Science Systems and Control
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Efficient Discovery of Actual Causality in Stochastic Systems
por: Rafieioskouei, Arshia, et al.
Publicado: (2025)

HypRL: Reinforcement Learning of Control Policies for Hyperproperties
por: Hsu, Tzu-Han, et al.
Publicado: (2025)

Efficient Probabilistic Model Checking for Relational Reachability (Extended Version)
por: Gerlach, Lina, et al.
Publicado: (2025)

Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy
por: Bonakdarpour, Borzoo, et al.
Publicado: (2024)

Tractable Hyperproperties for MDPs
por: Gerlach, Lina, et al.
Publicado: (2026)

Syntax-Guided Automated Program Repair for Hyperproperties
por: Beutner, Raven, et al.
Publicado: (2024)

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

Causality for Cyber-Physical Systems
por: Araujo, Hugo, et al.
Publicado: (2025)

TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems
por: Sidrane, Chelsea, et al.
Publicado: (2024)

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

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

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

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

Strategy Templates for Almost-Sure and Positive Winning of Stochastic Parity Games towards Permissive and Resilient Control
por: Phalakarn, Kittiphon, et al.
Publicado: (2024)

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

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

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

Quantitative Supermartingale Certificates
por: Abate, Alessandro, et al.
Publicado: (2025)

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

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

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

Solvability of Approximate Reach-Avoid Games
por: Gleirscher, Mario
Publicado: (2025)

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

Closure Certificates
por: Murali, Vishnu, et al.
Publicado: (2023)

Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations
por: Schön, Oliver, et al.
Publicado: (2023)

Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design
por: Incer, Inigo, et al.
Publicado: (2023)

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

A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
por: Graebener, Josefine B., et al.
Publicado: (2025)

Control Closure Certificates
por: Murali, Vishnu, et al.
Publicado: (2025)

A formal specification of the desired software behaviour of the Princess Marijke lock complex
por: Groote, Jan Friso, et al.
Publicado: (2025)

Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
por: Gu, Chao, et al.
Publicado: (2020)

HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
por: Murali, Vishnu, et al.
Publicado: (2026)

Inferentialist Resource Semantics
por: Gheorghiu, Alexander V., et al.
Publicado: (2024)

Towards Automatic Linearization via SMT Solving
por: Cao, Jian, et al.
Publicado: (2024)

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

Barrier Certificates for Uncertain Temporal Specifications
por: Mamduhi, Mohammad H., et al.
Publicado: (2026)

The Modal Logic of Abstraction Refinement
por: Piribauer, Jakob, et al.
Publicado: (2026)

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

Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis
por: Kochdumper, Niklas, et al.
Publicado: (2023)

Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification
por: Schön, Oliver, et al.
Publicado: (2024)