Image de couverture de livre

Model Checking of vGOAL

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Yang, Yi, Holvoet, Tom
Format:	Preprint
Publié:	2024
Sujets:	Multiagent Systems 03 F.4.1; F.4.3
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A logical framework for data-driven reasoning
par: Baldi, Paolo, et autres
Publié: (2024)

Stratifiable formulae are not context-free
par: Ryan-Smith, Calliope
Publié: (2023)

Recursive windows for grammar logics of bounded density
par: Gasquet, Olivier
Publié: (2025)

PSPACE-completeness of bimodal transitive weak-density logic
par: Balbiani, Philippe, et autres
Publié: (2025)

Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width
par: Lopez, Aliaume
Publié: (2024)

Introducing Divergence for Infinite Probabilistic Models
par: Finkel, Alain, et autres
Publié: (2023)

Openness And Partial Adjacency In One Variable TPTL
par: Krishna, Shankara Narayanan, et autres
Publié: (2024)

Gödel Mirror: A Formal System For Contradiction-Driven Recursion
par: Chan, Jhet
Publié: (2025)

On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic
par: Bacik, Piotr, et autres
Publié: (2026)

On Some Complexity Results for Even Linear Languages
par: Cojocaru, Liliana
Publié: (2024)

$\mathbb{N}$-polyregular functions arise from well-quasi-orderings
par: Lopez, Aliaume
Publié: (2024)

Comparing State-Representations for DEL Model Checking
par: Behnke, Gregor, et autres
Publié: (2025)

Characterizing NC1 with Typed Monoids
par: Dawar, Anuj, et autres
Publié: (2025)

Decision Problems on Copying and Shuffling
par: Halava, Vesa, et autres
Publié: (2023)

A Logic For Fresh Labelled Transition Systems
par: Bandukara, Mohamed H, et autres
Publié: (2025)

A correspondence between the time and space complexity
par: Latkin, Ivan V.
Publié: (2023)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
par: Barroso-Nascimento, Victor, et autres
Publié: (2025)

Orbit-finite linear programming
par: Ghosh, Arka, et autres
Publié: (2023)

A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings
par: Grabolle, Gustav
Publié: (2022)

Introducing The Maximum Common Bigraph Problem
par: Burns, Kyle, et autres
Publié: (2026)

I Would If I Could: Reasoning about Dynamics of Actions in Multi-Agent Systems
par: Galimullin, Rustam, et autres
Publié: (2026)

Proof Compression via Subatomic Logic and Guarded Substitutions
par: Barrett, Victoria, et autres
Publié: (2025)

A Short Survey on Formalising Software Requirements using Large Language Models
par: Beg, Arshad, et autres
Publié: (2025)

Oruga: An Avatar of Representational Systems Theory
par: Raggi, Daniel, et autres
Publié: (2025)

Symmetries in Sorting
par: Choudhury, Vikraman, et autres
Publié: (2025)

Thoughts on sub-Turing interactive computability
par: Japaridze, Giorgi
Publié: (2024)

Extracting total Amb programs from proofs
par: Berger, Ulrich, et autres
Publié: (2023)

Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations
par: Beg, Arshad, et autres
Publié: (2026)

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
par: Beg, Arshad, et autres
Publié: (2025)

On the computational properties of ambivalent sets and functions
par: Normann, Dag, et autres
Publié: (2026)

Glivenko's theorems from an ecumenical perspective
par: Pereira, Luiz Carlos, et autres
Publié: (2026)

Logic in Mathematics and Computer Science
par: Zach, Richard
Publié: (2024)

A Bisimulation-Invariance-Based Approach to the Separation of Polynomial Complexity Classes
par: Bruse, Florian, et autres
Publié: (2026)

Serial Properties, Selector Proofs, and the Provability of Consistency
par: Artemov, Sergei
Publié: (2024)

Non-Compact Proofs
par: Artemov, Sergei
Publié: (2025)

Consistency formula is strictly stronger in PA than PA-consistency
par: Artemov, Sergei
Publié: (2025)

Formalising Software Requirements using Large Language Models
par: Beg, Arshad, et autres
Publié: (2025)

Working Document -- Formalising Software Requirements with Large Language Models
par: Beg, Arshad, et autres
Publié: (2025)

Structure Transfer: an Inference-Based Calculus for the Transformation of Representations
par: Raggi, Daniel, et autres
Publié: (2025)

Internal Effectful Forcing in System T
par: Escardo, Martin H., et autres
Publié: (2025)