Image de couverture de livre

Automata Linear Dynamic Logic on Finite Traces

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Smith, Kevin W., Vardi, Moshe Y.
Format:	Preprint
Publié:	2021
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Verifying Equilibria in Finite-Horizon Probabilistic Concurrent Game Systems
par: Rajasekaran, Senthil, et autres
Publié: (2025)

Extending CDCL-based Model Enumeration with Weights
par: Spallitta, Giuseppe, et autres
Publié: (2026)

On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts
par: Xiao, Shengping, et autres
Publié: (2024)

Computing Short SAT Implicants via Ising/QUBO Encodings
par: Spallitta, Giuseppe, et autres
Publié: (2026)

Dynamic Programming for Symbolic Boolean Realizability and Synthesis
par: Lin, Yi, et autres
Publié: (2024)

Dynamic Boolean Synthesis with Zero-suppressed Decision Diagrams
par: Lin, Yi, et autres
Publié: (2025)

LTLf Synthesis Under Unreliable Input
par: Hagemeier, Christian, et autres
Publié: (2024)

LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces
par: Aminof, Benjamin, et autres
Publié: (2024)

Understanding CDCL Solvers via Scalability Studies and Proofdoors
par: Zhang, Shimin, et autres
Publié: (2026)

Semantics for Linear-time Temporal Logic with Finite Observations
par: Amjad, Rayhana, et autres
Publié: (2024)

An Expressive Coalgebraic Modal Logic for Cellular Automata
par: Basold, Henning, et autres
Publié: (2025)

Automata-Theoretic Characterisations of Branching-Time Temporal Logics
par: Benerecetti, Massimo, et autres
Publié: (2024)

Proof Complexity of Linear Logics
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2026)

On-the-fly LTLf Synthesis under Partial Observability
par: Alon, Nadav, et autres
Publié: (2026)

A Linear Temporal Logic of Frequencies on Series of Events
par: Antonelli, Melissa, et autres
Publié: (2026)

Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification
par: Bacci, Giorgio, et autres
Publié: (2025)

Dynamic Cantor Derivative Logic
par: Fernández-Duque, David, et autres
Publié: (2021)

Multi-Property Synthesis
par: Weinhuber, Christoph, et autres
Publié: (2026)

A General Automata Model for First-Order Temporal Logics (Extended Version)
par: Geatti, Luca, et autres
Publié: (2024)

Dynamic Probability Logic: Decidability & Computability
par: Chopoghloo, Somayeh, et autres
Publié: (2024)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
par: Gheorghiu, Alexander V., et autres
Publié: (2023)

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces
par: Chevallier, Mark, et autres
Publié: (2025)

Robustness of Constraint Automata for Description Logics with Concrete Domains
par: Demri, Stéphane, et autres
Publié: (2026)

Skolemisation for Intuitionistic Linear Logic
par: Bruni, Alessandro, et autres
Publié: (2024)

Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic (Technical Report)
par: Habermehl, Peter, et autres
Publié: (2024)

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
par: Lyon, Tim S.
Publié: (2024)

On the role of connectivity in Linear Logic proofs
par: Di Donna, Raffaele, et autres
Publié: (2025)

Undecidability of Linear Logics without Weakening
par: Suzuki, Jun, et autres
Publié: (2025)

Logic and Languages of Higher-Dimensional Automata
par: Amrane, Amazigh, et autres
Publié: (2024)

Bisimulations and Logics for Higher-Dimensional Automata
par: Zouari, Safa, et autres
Publié: (2024)

The Role of Logic and Automata in Understanding Transformers
par: Lin, Anthony W., et autres
Publié: (2025)

Zeta Functions and the (Linear) Logic of Markov Processes
par: Seiller, Thomas
Publié: (2020)

Step Automata
par: Wang, Yong
Publié: (2026)

From Differential Linear Logic to Coherent Differentiation
par: Ehrhard, Thomas
Publié: (2024)

Unifying Graded Linear Logic and Differential Operators
par: Breuvart, Flavien, et autres
Publié: (2024)

Linear Temporal Justification Logics with Past Operators
par: Ghari, Meghdad
Publié: (2018)

Type Isomorphisms for Multiplicative-Additive Linear Logic
par: Di Guardia, Rémi, et autres
Publié: (2024)

A Categorical Semantics for Linear Logical Frameworks
par: Vákár, Matthijs
Publié: (2015)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2025)

Agent-Knowledge Logic for Alternative Epistemic Logic
par: Nishimura, Yuki
Publié: (2024)