Buchumschlag

Revisiting Stateful Partial-Order Reduction

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Herbreteau, Frédéric, Larroze-Jardiné, Sarah, Point, Gérald, Walukiewicz, Igor
Format:	Preprint
Veröffentlicht:	2024
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

Distributed controller synthesis for deadlock avoidance
von: Gimbert, Hugo, et al.
Veröffentlicht: (2022)

A Zone-Based Algorithm for Timed Parity Games
von: Geeraerts, Gilles, et al.
Veröffentlicht: (2025)

Layered automata: A canonical model for automata over infinite words
von: Casares, Antonio, et al.
Veröffentlicht: (2026)

Optimal Planning for Timed Partial Order Specifications
von: Watanabe, Kandai, et al.
Veröffentlicht: (2024)

First-Order LTLf Synthesis with Lookback (Extended Version)
von: Winkler, Sarah
Veröffentlicht: (2025)

Order in Partial Markov Categories
von: Di Lavore, Elena, et al.
Veröffentlicht: (2025)

Semantic Foundations of Reductive Reasoning
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2024)

Unravelling Cyclic First-Order Arithmetic
von: Leigh, Graham E., et al.
Veröffentlicht: (2025)

Meta-Mathematics of Computational Complexity Theory
von: Oliveira, Igor C.
Veröffentlicht: (2025)

On the ABK Conjecture, alpha-well Quasi Orders and Dress-Schiffels product
von: Abraham, Uri, et al.
Veröffentlicht: (2023)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
von: Bacci, Giorgio, et al.
Veröffentlicht: (2025)

Monadic Second-Order Logic of Permutations
von: Jelínek, Vít, et al.
Veröffentlicht: (2025)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
von: Artale, Alessandro, et al.
Veröffentlicht: (2025)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
von: Lyon, Tim S., et al.
Veröffentlicht: (2024)

First Order Logic on Pathwidth Revisited Again
von: Lampis, Michael
Veröffentlicht: (2022)

Partial Redundancy in Saturation
von: Hajdu, Márton, et al.
Veröffentlicht: (2025)

Unification in Matching Logic -- Revisited
von: Kurucz, Ádám, et al.
Veröffentlicht: (2024)

Relators and Notions of Simulation Revisited
von: Goncharov, Sergey, et al.
Veröffentlicht: (2025)

Comodule Representations of Second-Order Functionals
von: Ahman, Danel, et al.
Veröffentlicht: (2024)

Unifying Semantic Path Order and Weighted Path Order
von: Saito, Teppei, et al.
Veröffentlicht: (2026)

Revisiting the Fast Fourier Transform in Rocq
von: Théry, Laurent
Veröffentlicht: (2022)

On Efficient Algorithms For Partial Quantifier Elimination
von: Goldberg, Eugene
Veröffentlicht: (2024)

Partial Quantifier Elimination By Certificate Clauses
von: Goldberg, Eugene
Veröffentlicht: (2020)

Confluence of Logically Constrained Rewrite Systems Revisited
von: Schöpf, Jonas, et al.
Veröffentlicht: (2024)

Completeness of Finitely Weighted Kleene Algebra With Tests
von: Sedlár, Igor
Veröffentlicht: (2024)

From Partial to Monadic: Combinatory Algebra with Effects
von: Cohen, Liron, et al.
Veröffentlicht: (2025)

Programming and Reasoning in Partially Observable Probabilistic Environments
von: Gürtler, Tobias, et al.
Veröffentlicht: (2025)

Forward and Backward Simulations for Partially Observable Probability
von: Chen, Chris, et al.
Veröffentlicht: (2025)

On-the-fly LTLf Synthesis under Partial Observability
von: Alon, Nadav, et al.
Veröffentlicht: (2026)

Disjoint Partial Enumeration without Blocking Clauses
von: Spallitta, Giuseppe, et al.
Veröffentlicht: (2023)

Sharing proofs with predicative theories through universe-polymorphic elaboration
von: Felicissimo, Thiago, et al.
Veröffentlicht: (2023)

The Computability Path Order for Beta-Eta-Normal Higher-Order Rewriting (Full Version)
von: Niederhauser, Johannes, et al.
Veröffentlicht: (2025)

Revisiting Restarts of CDCL: Should the Search Information be Preserved?
von: Zhang, Xindi, et al.
Veröffentlicht: (2024)

Revisiting Assumptions Ordering in CAR-Based Model Checking
von: Dong, Yibo, et al.
Veröffentlicht: (2024)

Structure-Aware Computing, Partial Quantifier Elimination And SAT
von: Goldberg, Eugene
Veröffentlicht: (2024)

Translating Workflow Nets into the Partially Ordered Workflow Language
von: Kourani, Humam, et al.
Veröffentlicht: (2025)

Characterizing the Exponential-Space Hierarchy Via Partial Fixpoints
von: Bruse, Florian, et al.
Veröffentlicht: (2025)

From Coalgebraic Determinization to Belief Construction for Partial Observability
von: Kori, Mayuko, et al.
Veröffentlicht: (2026)

On the Complexity of Proving Polyhedral Reductions
von: Amat, Nicolas, et al.
Veröffentlicht: (2023)

Distributed First Order Logic
von: Ghidini, Chiara, et al.
Veröffentlicht: (2015)