Imagen de Portada

Verification and External Parameter Inference for Stochastic World Models

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Calinescu, Radu, Yaman, Sinem Getir, Gerasimou, Simos, Vázquez, Gricel, Bassett, Micah
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Hyperproperty Verification as CHC Satisfiability
por: Itzhaky, Shachar, et al.
Publicado: (2023)

Craig Interpolation in Program Verification
por: Rümmer, Philipp
Publicado: (2026)

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

Verification of Configurable SRA Systems
por: Cimatti, Alessandro, et al.
Publicado: (2026)

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

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

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

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

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

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

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

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

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

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

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

Polynomial Lawvere Logic
por: Bacci, Giorgio, et al.
Publicado: (2024)

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

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

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

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

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

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

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

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

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