Copertina

RoboCertProb: Property Specification for Probabilistic RoboChart Models

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Ye, Kangfeng, Woodcock, Jim
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Formally Verified Animation for RoboChart using Interaction Trees
di: Ye, Kangfeng, et al.
Pubblicazione: (2023)

Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving
di: Ye, Kangfeng, et al.
Pubblicazione: (2023)

Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks (extended version)
di: Ye, Kangfeng, et al.
Pubblicazione: (2025)

Measuring Rule-based LTLf Process Specifications: A Probabilistic Data-driven Approach
di: Cecconi, Alessio, et al.
Pubblicazione: (2023)

On Probabilistic and Causal Reasoning with Summation Operators
di: Ibeling, Duligur, et al.
Pubblicazione: (2024)

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

Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking
di: Heck, Linus, et al.
Pubblicazione: (2025)

Probabilistic and Causal Satisfiability: Constraining the Model
di: Bläser, Markus, et al.
Pubblicazione: (2025)

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

Decentralized Planning Using Probabilistic Hyperproperties
di: Pontiggia, Francesco, et al.
Pubblicazione: (2025)

Shields to Guarantee Probabilistic Safety in MDPs
di: Heck, Linus, et al.
Pubblicazione: (2026)

Integrating Belief Domains into Probabilistic Logic Programs
di: Azzolini, Damiano, et al.
Pubblicazione: (2025)

Symbolic Parameter Learning in Probabilistic Answer Set Programming
di: Azzolini, Damiano, et al.
Pubblicazione: (2024)

Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic Programming
di: Jacobs, Bart, et al.
Pubblicazione: (2023)

Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits
di: Li, Jinzhao, et al.
Pubblicazione: (2025)

Solving Decision Theory Problems with Probabilistic Answer Set Programming
di: Azzolini, Damiano, et al.
Pubblicazione: (2024)

Probabilistic Circuits for Knowledge Graph Completion with Reduced Rule Sets
di: Patil, Jaikrishna Manojkumar, et al.
Pubblicazione: (2025)

A Translation of Probabilistic Event Calculus into Markov Decision Processes
di: Xu, Lyris, et al.
Pubblicazione: (2025)

Fast Inference for Probabilistic Answer Set Programs via the Residual Program
di: Azzolini, Damiano, et al.
Pubblicazione: (2024)

Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System
di: D'Asaro, Fabio Aurelio, et al.
Pubblicazione: (2022)

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems
di: Roy, Rajarshi, et al.
Pubblicazione: (2025)

An Information-Flow Perspective on Explainability Requirements: Specification and Verification
di: Finkbeiner, Bernd, et al.
Pubblicazione: (2025)

User-Guided Verification of Security Protocols via Sound Animation
di: Ye, Kangfeng, et al.
Pubblicazione: (2024)

Multi-Property Synthesis
di: Weinhuber, Christoph, et al.
Pubblicazione: (2026)

An Algebraic Approach to Moralisation and Triangulation of Probabilistic Graphical Models
di: Lorenzin, Antonio, et al.
Pubblicazione: (2025)

Formal Analysis of the Sigmoid Function and Formal Proof of the Universal Approximation Theorem
di: Bryant, Dustin, et al.
Pubblicazione: (2025)

Knowledge Base Embeddings: Semantics and Theoretical Properties
di: Bourgaux, Camille, et al.
Pubblicazione: (2024)

Constraint-aware Learning of Probabilistic Sequential Models for Multi-Label Classification
di: Buleshnyi, Mykhailo, et al.
Pubblicazione: (2025)

Automated Verification of Equivalence Properties in Advanced Logic Programs -- Bachelor Thesis
di: Heuer, Jan
Pubblicazione: (2023)

You-Only-Randomize-Once: Shaping Statistical Properties in Constraint-based PCG
di: Katz, Jediah, et al.
Pubblicazione: (2024)

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
di: Akshay, S., et al.
Pubblicazione: (2024)

An Overview and Comparison of Axiomatization Structures Regarding Inconsistency Indices' Properties in Pairwise Comparisons Methods
di: Pant, Sangeeta, et al.
Pubblicazione: (2024)

LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning
di: Andresel, Medina, et al.
Pubblicazione: (2026)

Abductive Reasoning in a Paraconsistent Framework
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2024)

Similarity-based analogical proportions
di: Antić, Christian
Pubblicazione: (2024)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
di: Bloch, Isabelle, et al.
Pubblicazione: (2025)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
di: Joyce, Johnny
Pubblicazione: (2025)

Dynamic Logic of Trust-Based Beliefs
di: Jiang, Junli, et al.
Pubblicazione: (2025)

The logic of KM belief update is contained in the logic of AGM belief revision
di: Bonanno, Giacomo
Pubblicazione: (2026)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
di: Xu, Yang, et al.
Pubblicazione: (2025)