Copertina

Verification and External Parameter Inference for Stochastic World Models

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Calinescu, Radu, Yaman, Sinem Getir, Gerasimou, Simos, Vázquez, Gricel, Bassett, Micah
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Hyperproperty Verification as CHC Satisfiability
di: Itzhaky, Shachar, et al.
Pubblicazione: (2023)

Craig Interpolation in Program Verification
di: Rümmer, Philipp
Pubblicazione: (2026)

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

Verification of Configurable SRA Systems
di: Cimatti, Alessandro, et al.
Pubblicazione: (2026)

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

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

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

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

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

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

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

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

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

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

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

Polynomial Lawvere Logic
di: Bacci, Giorgio, et al.
Pubblicazione: (2024)

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

Computation and Complexity of Preference Inference Based on Hierarchical Models
di: Wilson, Nic, et al.
Pubblicazione: (2024)

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

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

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

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

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

DSLean: A Framework for Type-Correct Interoperability Between Lean 4 and External DSLs
di: Rowney, Tate, et al.
Pubblicazione: (2026)

Probabilistic Verification for Modular Network-on-Chip Systems (extended version)
di: Waddoups, Nick, et al.
Pubblicazione: (2025)