:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Calinescu, Radu, Yaman, Sinem Getir, Gerasimou, Simos, Vázquez, Gricel, Bassett, Micah
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2503.16034
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Accelerating Policy Synthesis in Large-Scale MDPs via Hierarchical Adaptive Refinement
by: Evangelidis, Alexandros, et al.
Published: (2025)

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

Mind the Prompt: Self-adaptive Generation of Task Plan Explanations via LLMs
by: Vázquez, Gricel, et al.
Published: (2026)

Tool for Supporting Debugging and Understanding of Normative Requirements Using LLMs
by: Kleijwegt, Alex, et al.
Published: (2025)

Quantitative Assurance and Synthesis of Controllers from Activity Diagrams
by: Ye, Kangfeng, et al.
Published: (2024)

Robust Uncertainty Quantification Using Conformalised Monte Carlo Prediction
by: Bethell, Daniel, et al.
Published: (2023)

Runtime Verification for LTL in Stochastic Systems
by: Esparza, Javier, et al.
Published: (2025)

Learning to Navigate Under Imperfect Perception: Conformalised Segmentation for Safe Reinforcement Learning
by: Bethell, Daniel, et al.
Published: (2025)

Safe But Not Sorry: Reducing Over-Conservatism in Safety Critics via Uncertainty-Aware Modulation
by: Bethell, Daniel, et al.
Published: (2025)

Safe Reinforcement Learning in Black-Box Environments via Adaptive Shielding
by: Bethell, Daniel, et al.
Published: (2024)

Adaptive Human-Robot Collaborative Missions using Hybrid Task Planning
by: Vázquez, Gricel, et al.
Published: (2025)

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

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
by: Lyon, Tim S., et al.
Published: (2023)

Towards Assume-Guarantee Verification of Abilities in Stochastic Multi-Agent Systems
by: Jamroga, Wojciech, et al.
Published: (2025)

Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking
by: Tulcan, Radu-Florin, et al.
Published: (2026)

Model Checking as Program Verification by Abstract Interpretation (Extended Version)
by: Baldan, Paolo, et al.
Published: (2025)

A Framework for Modelling, Verification and Transformation of Concurrent Imperative Programs
by: Bortin, Maksym
Published: (2020)

On the Metric Temporal Logic for Continuous Stochastic Processes
by: Ikeda, Mitsumasa, et al.
Published: (2023)

Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL
by: Foster, Simon, et al.
Published: (2024)

Hyperproperty Verification as CHC Satisfiability
by: Itzhaky, Shachar, et al.
Published: (2023)

Craig Interpolation in Program Verification
by: Rümmer, Philipp
Published: (2026)

Tools at the Frontiers of Quantitative Verification
by: Andriushchenko, Roman, et al.
Published: (2024)

Verification of Configurable SRA Systems
by: Cimatti, Alessandro, et al.
Published: (2026)

Sum and Tensor of Quantitative Effects
by: Bacci, Giorgio, et al.
Published: (2022)

Propositional Logics for the Lawvere Quantale
by: Bacci, Giorgio, et al.
Published: (2023)

Polynomial Lawvere Logic
by: Bacci, Giorgio, et al.
Published: (2024)

Runtime Verification of Interactions Using Automata
by: Weil-Kennedy, Chana, et al.
Published: (2025)

Formal Verification of Isothermal Chemical Reactors
by: Feyzishendi, Parivash, et al.
Published: (2025)

Formal Modeling and Verification of Publisher-Subscriber Paradigm in ROS 2
by: Choton, Jahid Chowdhury, et al.
Published: (2024)

A Hierarchy of Supermartingales for $ω$-Regular Verification
by: Kura, Satoshi, et al.
Published: (2025)

Visualizing Game-Based Certificates for Hyperproperty Verification
by: Beutner, Raven, et al.
Published: (2025)

A Program Instrumentation Framework for Automatic Verification
by: Amilon, Jesper, et al.
Published: (2024)

Towards Term-based Verification of Diagrammatic Equivalence
by: Cailler, Julie, et al.
Published: (2026)

Revisiting Differential Verification: Equivalence Verification with Confidence
by: Teuber, Samuel, et al.
Published: (2024)

Omega-regular Verification and Control for Distributional Specifications in MDPs
by: Akshay, S., et al.
Published: (2025)

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

Conformal Safety Shielding for Imperfect-Perception Agents
by: Scarbro, William, et al.
Published: (2025)

CTL* Verification and Synthesis using Existential Horn Clauses
by: Carelli, Mishel, et al.
Published: (2024)

Practical Deductive Verification of OCaml Programs (Extended Version)
by: Pereira, Mário
Published: (2024)

A Performance Verification Methodology for Resource Allocation Heuristics
by: Goel, Saksham, et al.
Published: (2023)