Imagen de Portada

Synthesis of Safety Specifications for Probabilistic Systems

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Ohlmann, Gaspard, Court, Edwin Hamel-De le, Belardinelli, Francesco
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science Artificial Intelligence Machine Learning Systems and Control 68Q60, 60J20, 68T05 F.3.1; F.4.1; I.2.6
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

On Woolhouse's Cotton-Spinning Problem
por: Groote, Jan Friso, et al.
Publicado: (2024)

Simulating and model checking membrane systems using strategies in Maude
por: Rubio, Rubén, et al.
Publicado: (2024)

Strategies, model checking and branching-time properties in Maude
por: Rubio, Rubén, et al.
Publicado: (2024)

Model checking strategy-controlled systems in rewriting logic
por: Rubio, Rubén, et al.
Publicado: (2024)

A Qualitative Analysis of Kernel Extension for Higher Order Proof Checking
por: Wang, Shuai
Publicado: (2024)

Formal Foundations for Controlled Stochastic Activity Networks
por: Movaghar, Ali
Publicado: (2025)

Monitoring Hyperproperties over Observed and Constructed Traces
por: Chalupa, Marek, et al.
Publicado: (2025)

Principal Types as Partial Involutions
por: Honsell, Furio, et al.
Publicado: (2024)

A declarative approach to specifying distributed algorithms using three-valued modal logic
por: Gabbay, Murdoch J., et al.
Publicado: (2025)

STACHE: Local Black-Box Explanations for Reinforcement Learning Policies
por: Elashkin, Andrew, et al.
Publicado: (2025)

Proof-Carrying Certificates for LLM Pipelines: A Trust-Boundary Architecture
por: Koomullil, George
Publicado: (2026)

Metalevel transformation of strategies
por: Rubio, Rubén, et al.
Publicado: (2024)

Nominal techniques as an Agda library
por: Gabbay, Murdoch J., et al.
Publicado: (2026)

Saturating Scaling Laws for Equational Discovery: A Phenomenology of Growth Dynamics in Three Toy Substrates with Two Real-World Replications
por: Rovai, Fabio
Publicado: (2026)

Truth-Aware Decoding: A Program-Logic Approach to Factual Language Generation
por: Alpay, Faruk, et al.
Publicado: (2025)

Uniform Computability of PAC Learning
por: Brattka, Vasco, et al.
Publicado: (2026)

Attention Meets Reachability: Structural Equivalence and Efficiency in Grammar-Constrained LLM Decoding
por: Alpay, Faruk, et al.
Publicado: (2026)

Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers
por: Zhang, Manqing, et al.
Publicado: (2026)

Flavors of Quantifiers in Hyperlogics
por: Chalupa, Marek, et al.
Publicado: (2025)

Relative Constructibility via Generalised Sequential Algorithms
por: Lau, Desmond
Publicado: (2024)

Declarative distributed algorithms as axiomatic theories in three-valued modal logic over semitopologies
por: Gabbay, Murdoch J.
Publicado: (2025)

A formalization of Borel determinacy in Lean
por: Manthe, Sven
Publicado: (2025)

Conformance Games for Graded Semantics
por: Forster, Jonas, et al.
Publicado: (2024)

Combining Mechanical and Agentic Specification Inference for Move
por: Grieskamp, Wolfgang, et al.
Publicado: (2026)

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
por: Rahnama, Moses
Publicado: (2025)

On systematic construction of correct logic programs
por: Drabent, Włodzimierz
Publicado: (2025)

Formal Verification of Markov Processes with Learned Parameters
por: Maaz, Muhammad, et al.
Publicado: (2025)

The Solver's Paradox in Formal Problem Spaces
por: Rosko, Milan
Publicado: (2025)

Tridirectional Discriminating-Power Formal Verification of Smart Contract Reentrancy Defense Against Production-Deployed Solidity Source
por: Iskander, Ray
Publicado: (2026)

How Does Machine Learning Manage Complexity?
por: Fortnow, Lance
Publicado: (2026)

The Serial Scaling Hypothesis
por: Liu, Yuxi, et al.
Publicado: (2025)

From CRUD to Autonomous Agents: Formal Validation and Zero-Trust Security for Semantic Gateways in AI-Native Enterprise Systems
por: Peyrano, Ignacio
Publicado: (2026)

Tricks and Plug-ins for Gradient Boosting with Transformers
por: Fang, Biyi, et al.
Publicado: (2025)

Array-Carrying Symbolic Execution for Function Contract Generation
por: Lu, Weijie, et al.
Publicado: (2026)

Variance-Reduced Diffusion Sampling via Target Score Identity
por: Duston, Alois, et al.
Publicado: (2026)

Graded Transformers
por: Shaska Sr, Tony
Publicado: (2025)

LTL Verification of Memoryful Neural Agents
por: Hosseini, Mehran, et al.
Publicado: (2025)

SafetyDrift: Predicting When AI Agents Cross the Line Before They Actually Do
por: Dhodapkar, Aditya, et al.
Publicado: (2026)

A Logspace Constructive Proof of L=SL
por: Buss, Sam, et al.
Publicado: (2025)

Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages
por: Adsul, Bharat, et al.
Publicado: (2024)