Buchumschlag

Branch-Well-Structured Transition Systems and Extensions

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bollig, Benedikt, Finkel, Alain, Suresh, Amrita
Format:	Preprint
Veröffentlicht:	2022
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes)
von: Bollig, Benedikt
Veröffentlicht: (2026)

Causal Past Logic for Runtime Verification of Distributed LLM Agent Workflows
von: Bollig, Benedikt
Veröffentlicht: (2026)

Verification of Neural Networks (Lecture Notes)
von: Bollig, Benedikt
Veröffentlicht: (2026)

On the Satisfiability of Local First-Order Logics with Data
von: Bollig, Benedikt, et al.
Veröffentlicht: (2023)

High-Level Message Sequence Charts: Satisfiability and Realizability Revisited
von: Bollig, Benedikt, et al.
Veröffentlicht: (2025)

Unreliability in Practical Subclasses of Communicating Systems
von: Suresh, Amrita, et al.
Veröffentlicht: (2025)

Wadge degrees of $Δ^0_2$ omega-powers
von: Finkel, Olivier, et al.
Veröffentlicht: (2024)

Convergence Laws for Extensions of First-Order Logic with Averaging
von: Adam-Day, Sam, et al.
Veröffentlicht: (2025)

Embedded Finite Models Beyond Restricted Quantifier Collapse
von: Benedikt, Michael, et al.
Veröffentlicht: (2023)

Choiceless Computation and Symmetry: Limitations of Definability
von: Pago, Benedikt
Veröffentlicht: (2024)

How (and when) can you fit examples to logic-based hypothesis classes over infinite structures?
von: Benedikt, Michael, et al.
Veröffentlicht: (2026)

From learnable objects to learnable random objects
von: Anderson, Aaron, et al.
Veröffentlicht: (2025)

Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise
von: Ye, Lina, et al.
Veröffentlicht: (2023)

Branching Bisimulation Learning
von: Abate, Alessandro, et al.
Veröffentlicht: (2025)

Reaching Classicality through Transitive Closure
von: Blomet, Quentin, et al.
Veröffentlicht: (2025)

Branch Sequentialization in Quantum Polytime
von: Hainry, Emmanuel, et al.
Veröffentlicht: (2024)

Extensional Taylor Expansion
von: Blondeau-Patissier, Lison, et al.
Veröffentlicht: (2023)

Relating Apartness and Branching Bisimulation Games
von: Rot, Jurriaan, et al.
Veröffentlicht: (2024)

Tighter Bounds for Query Answering with Guarded TGDs
von: Amarilli, Antoine, et al.
Veröffentlicht: (2022)

Parameterized Infinite-State Reactive Synthesis
von: Maderbacher, Benedikt, et al.
Veröffentlicht: (2025)

Optimal Lower Bounds for Symmetric Modular Circuits
von: Pago, Benedikt
Veröffentlicht: (2026)

Symmetric Proofs in the Ideal Proof System
von: Dawar, Anuj, et al.
Veröffentlicht: (2025)

Extension preservation on dense graph classes
von: Eleftheriadis, Ioannis
Veröffentlicht: (2024)

Automata-Theoretic Characterisations of Branching-Time Temporal Logics
von: Benerecetti, Massimo, et al.
Veröffentlicht: (2024)

On Symbol Elimination and Uniform Interpolation in Theory Extensions
von: Sofronie-Stokkermans, Viorica
Veröffentlicht: (2025)

Distributed Transition System with Tags and Value-wise Metric, for Privacy Analysis
von: Anantharaman, Siva, et al.
Veröffentlicht: (2025)

Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory
von: Benedikt, Michael, et al.
Veröffentlicht: (2022)

Certified Branch-and-Bound MaxSAT Solving (Extended Version)
von: Vandesande, Dieter, et al.
Veröffentlicht: (2025)

The complexity of Presburger arithmetic with power or powers
von: Benedikt, Michael, et al.
Veröffentlicht: (2023)

Simple Classes of Automatic Structures
von: Blumensath, Achim
Veröffentlicht: (2025)

Satisfiability Modulo Extensional Constant Arrays (Extended Version)
von: Preiner, Mathias, et al.
Veröffentlicht: (2026)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
von: van der Giessen, Iris, et al.
Veröffentlicht: (2023)

Learning Branching-Time Properties in CTL and ATL via Constraint Solving
von: Bordais, Benjamin, et al.
Veröffentlicht: (2024)

Well-Founded Coalgebras Meet König's Lemma
von: Urbat, Henning, et al.
Veröffentlicht: (2025)

Analysis of logics with arithmetic
von: Benedikt, Michael, et al.
Veröffentlicht: (2025)

Decidability of Graph Neural Networks via Logical Characterizations
von: Benedikt, Michael, et al.
Veröffentlicht: (2024)

Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests
von: Bogaerts, Bart, et al.
Veröffentlicht: (2022)

Dynamic Automated Deduction by Contradiction Separation: The Standard Extension Algorithm
von: Xu, Yang, et al.
Veröffentlicht: (2025)

Pairwise Independence of Representation, Classification, and Composition in Finite Extensional Magmas
von: Palmieri, Stefano
Veröffentlicht: (2026)

Structural Analysis of Boolean Equation Systems
von: Keiren, Jeroen, et al.
Veröffentlicht: (2010)