:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Chen, Chris, McIver, Annabelle, Morgan, Carroll
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science
Acceso en línea:	https://arxiv.org/abs/2506.08437
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Source-level reasoning for quantitative information flow
por: Chen, Chris, et al.
Publicado: (2024)

Programming and Reasoning in Partially Observable Probabilistic Environments
por: Gürtler, Tobias, et al.
Publicado: (2025)

On-the-fly LTLf Synthesis under Partial Observability
por: Alon, Nadav, et al.
Publicado: (2026)

From Coalgebraic Determinization to Belief Construction for Partial Observability
por: Kori, Mayuko, et al.
Publicado: (2026)

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy
por: Frenkel, Eden, et al.
Publicado: (2026)

Dynamic Probability Logic: Decidability & Computability
por: Chopoghloo, Somayeh, et al.
Publicado: (2024)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
por: Bacci, Giorgio, et al.
Publicado: (2025)

Hereditary History-Preserving Bisimilarity: Characterizations via Backward Ready Multisets
por: Bernardo, Marco, et al.
Publicado: (2025)

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings
por: Bernardo, Marco, et al.
Publicado: (2024)

A Cobham theorem for scalar multiplication
por: Hieronymi, Philipp, et al.
Publicado: (2024)

Partial Redundancy in Saturation
por: Hajdu, Márton, et al.
Publicado: (2025)

Probabilistic Strategy Logic with Degrees of Observability
por: Mu, Chunyan, et al.
Publicado: (2024)

Distributive Laws of Monadic Containers
por: Purdy, Chris, et al.
Publicado: (2025)

Yet another cubical type theory, but via a semantic approach
por: Kapulkin, Chris, et al.
Publicado: (2025)

(Pointed) Univalence in Universe Category Models of Type Theory
por: Kapulkin, Chris, et al.
Publicado: (2025)

Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic
por: Kozhemiachenko, Daniil, et al.
Publicado: (2026)

Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
por: Češka, Milan, et al.
Publicado: (2026)

Bean: A Language for Backward Error Analysis
por: Kellison, Ariel E., et al.
Publicado: (2025)

Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
por: Budde, Carlos E., et al.
Publicado: (2024)

On Efficient Algorithms For Partial Quantifier Elimination
por: Goldberg, Eugene
Publicado: (2024)

Revisiting Stateful Partial-Order Reduction
por: Herbreteau, Frédéric, et al.
Publicado: (2024)

Partial Quantifier Elimination By Certificate Clauses
por: Goldberg, Eugene
Publicado: (2020)

Complete representation by partial functions for signatures containing antidomain restriction
por: McLean, Brett
Publicado: (2023)

From Partial to Monadic: Combinatory Algebra with Effects
por: Cohen, Liron, et al.
Publicado: (2025)

Disjoint Partial Enumeration without Blocking Clauses
por: Spallitta, Giuseppe, et al.
Publicado: (2023)

Uniform Preorders and Partial Combinatory Algebras
por: Frey, Jonas
Publicado: (2024)

Translating Workflow Nets into the Partially Ordered Workflow Language
por: Kourani, Humam, et al.
Publicado: (2025)

Characterizing the Exponential-Space Hierarchy Via Partial Fixpoints
por: Bruse, Florian, et al.
Publicado: (2025)

Structure-Aware Computing, Partial Quantifier Elimination And SAT
por: Goldberg, Eugene
Publicado: (2024)

Difference-restriction algebras with operators
por: Borlido, Célia, et al.
Publicado: (2025)

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems
por: Sidrane, Chelsea, et al.
Publicado: (2025)

On Hyperproperty Verification, Quantifier Alternations, and Games under Partial Information
por: Beutner, Raven, et al.
Publicado: (2025)

Partially Finite Model Reasoning in Description Logics Extended Version
por: Gogacz, Tomasz, et al.
Publicado: (2026)

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

Partial Rewriting and Value Interpretation of Logically Constrained Terms (Full Version)
por: Aoto, Takahito, et al.
Publicado: (2026)

Partial Incorrectness Logic
por: Verscht, Lena, et al.
Publicado: (2025)

Optimal Planning for Timed Partial Order Specifications
por: Watanabe, Kandai, et al.
Publicado: (2024)

Graded String Diagrams for Imprecise Probability and Causal Intervention
por: Sarkis, Ralph, et al.
Publicado: (2025)

RvLLM: LLM Runtime Verification with Domain Knowledge
por: Zhang, Yedi, et al.
Publicado: (2025)

Logics for Contravariant Simulations
por: Fábregas, Ignacio, et al.
Publicado: (2024)