:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Amat, Nicolas, Zilio, Silvano Dal, Botlan, Didier Le
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science
Accès en ligne:	https://arxiv.org/abs/2401.03711
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

On the Complexity of Proving Polyhedral Reductions
par: Amat, Nicolas, et autres
Publié: (2023)

TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets
par: Gonzalez, Bruno Maria René, et autres
Publié: (2025)

Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
par: Gu, Chao, et autres
Publié: (2020)

Pseudo-Complex Quantifier Elimination
par: Faroß, Nicolas, et autres
Publié: (2026)

Soundness Correction of Data Petri Nets
par: Suvorov, Nikolai M., et autres
Publié: (2024)

Structural Liveness of Conservative Petri Nets
par: Jančar, Petr, et autres
Publié: (2025)

Petri Nets and Higher-Dimensional Automata
par: Amrane, Amazigh, et autres
Publié: (2025)

Structural Liveness of Immediate Observation Petri Nets
par: Jancar, Petr, et autres
Publié: (2021)

Methods for Efficient Unfolding of Colored Petri Nets
par: Bilgram, Alexander, et autres
Publié: (2022)

Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules
par: Lyon, Tim S., et autres
Publié: (2026)

Efficient Probabilistic Model Checking for Relational Reachability (Extended Version)
par: Gerlach, Lina, et autres
Publié: (2025)

On Efficient Algorithms For Partial Quantifier Elimination
par: Goldberg, Eugene
Publié: (2024)

Partial Quantifier Elimination By Certificate Clauses
par: Goldberg, Eugene
Publié: (2020)

On the Home-Space Problem for Petri Nets and its Ackermannian Complexity
par: Jančar, Petr, et autres
Publié: (2022)

Fast Ramsey Quantifier Elimination in LIRA (with applications to liveness checking)
par: Lichtner, Kilian, et autres
Publié: (2025)

Quantum Petri Nets with Event Structures semantics
par: Joachim, Julien Saan, et autres
Publié: (2025)

Quantum Petri Nets with Event Structure semantics
par: Joachim, Julien Saan, et autres
Publié: (2025)

Separators in Continuous Petri Nets
par: Blondin, Michael, et autres
Publié: (2022)

Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
par: Cesco, Arnaldo, et autres
Publié: (2021)

Invariant Checking for SMT-based Systems with Quantifiers
par: Redondi, Gianluca, et autres
Publié: (2024)

Quantifier Elimination Meets Treewidth
par: Wu, Hao, et autres
Publié: (2026)

Structure-Aware Computing, Partial Quantifier Elimination And SAT
par: Goldberg, Eugene
Publié: (2024)

Integer Linear-Exponential Programming in NP by Quantifier Elimination
par: Chistikov, Dmitry, et autres
Publié: (2024)

Quantifier Elimination and Craig Interpolation, Quantitatively
par: Batz, Kevin, et autres
Publié: (2025)

Home Spaces and Invariants to Analyze Parameterized Petri Nets
par: Memmi, Gerard
Publié: (2024)

One-Parametric Presburger Arithmetic has Quantifier Elimination
par: Mansutti, Alessio, et autres
Publié: (2025)

Continuous Petri Nets Faithfully Fluidify Most Permissive Boolean Networks
par: Haar, Stefan, et autres
Publié: (2025)

On the Cut Elimination of Weak Intuitionistic Tense Logic
par: Wang, Yiheng, et autres
Publié: (2024)

Relating Reversible Petri Nets and Reversible Event Structures, categorically
par: Melgratti, Hernán, et autres
Publié: (2023)

Symbolic Model Checking using Intervals of Vectors
par: Morard, Damien, et autres
Publié: (2026)

The Dual of Quantifier Elimination: Boolean Elimination over C and R
par: Frank, Matthew
Publié: (2025)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
par: Grilletti, Gianluca, et autres
Publié: (2024)

On Higher-Order Reachability Games vs May Reachability
par: Asada, Kazuyuki, et autres
Publié: (2022)

Multiple Reachability in Linear Dynamical Systems
par: Karimov, Toghrul, et autres
Publié: (2024)

Trees in Coalgebra from Generalized Reachability
par: Wißmann, Thorsten, et autres
Publié: (2025)

Property Directed Reachability with Extended Resolution
par: Luka, Andrew, et autres
Publié: (2025)

Initial Algebra Correspondence under Reachability Conditions
par: Kori, Mayuko, et autres
Publié: (2025)

Generalised Reachability Games Revisited
par: Bose, Sougata, et autres
Publié: (2025)

Embedded Finite Models Beyond Restricted Quantifier Collapse
par: Benedikt, Michael, et autres
Publié: (2023)

Robust Almost-Sure Reachability in Multi-Environment MDPs
par: van der Vegt, Marck, et autres
Publié: (2023)