:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Feeken, Linda, Fränzle, Martin
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science 93B50
Accesso online:	https://arxiv.org/abs/2503.21852
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Towards the Usage of Window Counting Constraints in the Synthesis of Reactive Systems to Reduce State Space Explosion
di: Feeken, Linda, et al.
Pubblicazione: (2024)

Modular many-valued semantics for combined logics
di: Caleiro, Carlos, et al.
Pubblicazione: (2022)

On the Existence of Reactive Strategies Resilient to Delay
di: Fränzle, Martin, et al.
Pubblicazione: (2023)

Generating proof systems for three-valued propositional logics
di: Greati, Vitor, et al.
Pubblicazione: (2024)

The interdefinability of expansions of Belnap-Dunn logic
di: Middelburg, C. A.
Pubblicazione: (2024)

Monitoring in the Dark: Privacy-Preserving Runtime Verification of Cyber-Physical Systems
di: Koll, Charles, et al.
Pubblicazione: (2025)

Quantale-Enriched Co-Design: Toward a Framework for Quantitative Heterogeneous System Design
di: Riess, Hans, et al.
Pubblicazione: (2026)

A taxonomy for controlling (in)consistency
di: Coniglio, Marcelo E., et al.
Pubblicazione: (2026)

The most natural paradefinite logic relative to classical logic
di: Middelburg, C. A.
Pubblicazione: (2026)

Abstract Scene Graphs: Formalizing and Monitoring Spatial Properties of Automated Driving Functions
di: Saxena, Ishan, et al.
Pubblicazione: (2025)

Equivalence of finite non-deterministic logical matrices is undecidable
di: Caleiro, Carlos, et al.
Pubblicazione: (2024)

A classical-logic view on a paraconsistent logic
di: Middelburg, C. A.
Pubblicazione: (2020)

Internal Effectful Forcing in System T
di: Escardo, Martin H., et al.
Pubblicazione: (2025)

On an ordinary expansion of first-order Belnap-Dunn logic
di: Middelburg, C. A.
Pubblicazione: (2023)

Lewis and Brouwer meet Strong Löb
di: Visser, Albert, et al.
Pubblicazione: (2024)

Rotations of Gödel algebras with modal operators
di: Flaminio, Tommaso, et al.
Pubblicazione: (2024)

Parameterized Infinite-State Reactive Synthesis
di: Maderbacher, Benedikt, et al.
Pubblicazione: (2025)

Towards Counting Markov Equivalence Classes with Logical Constraints
di: Bizzaro, Davide, et al.
Pubblicazione: (2024)

A declarative approach to specifying distributed algorithms using three-valued modal logic
di: Gabbay, Murdoch J., et al.
Pubblicazione: (2025)

The Myhill isomorphism theorem does not generalize much
di: Pradic, Cécilia
Pubblicazione: (2025)

Program Logics via Distributive Monoidal Categories
di: Bonchi, Filippo, et al.
Pubblicazione: (2025)

Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems
di: Heim, Philippe, et al.
Pubblicazione: (2025)

Interleaving Logic and Counting
di: van Benthem, Johan, et al.
Pubblicazione: (2025)

Mal'cev clones over a three-element set up to minor-equivalence
di: Fioravanti, Stefano, et al.
Pubblicazione: (2025)

On the minimization k-valued logic functions in the class of disjunctive normal forms
di: Kabulov, Anvar, et al.
Pubblicazione: (2024)

Efficient Reactive Synthesis
di: Ye, Xin, et al.
Pubblicazione: (2024)

Semiglobal oblique projection exponential dynamical observers for nonautonomous semilinear parabolic-like equations
di: Rodrigues, Sérgio S.
Pubblicazione: (2020)

Conditional and Modal Reasoning in Large Language Models
di: Holliday, Wesley H., et al.
Pubblicazione: (2024)

Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis (Full Version)
di: Heim, Philippe, et al.
Pubblicazione: (2024)

Timing via Pinwheel Double Categories
di: Di Lavore, Elena, et al.
Pubblicazione: (2025)

A general approach to asymptotic elimination of aggregation functions and generalized quantifiers
di: Koponen, Vera, et al.
Pubblicazione: (2023)

The equational theory of the Weihrauch lattice with multiplication
di: Neumann, Eike, et al.
Pubblicazione: (2024)

A Basic Łukasiewicz m-valued conditional logic
di: Huo, Shuquan
Pubblicazione: (2024)

ST and TS as Product and Sum
di: Blomet, Quentin, et al.
Pubblicazione: (2024)

Multiplicative logic in arithmetic
di: Zhuravlov, Volodymyr
Pubblicazione: (2024)

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
di: Jacobs, Swen, et al.
Pubblicazione: (2022)

Synthesis of Infinite State Systems
di: Drucker, Ohad, et al.
Pubblicazione: (2025)

Internal sums for synthetic fibered $(\infty,1)$-categories
di: Weinberger, Jonathan
Pubblicazione: (2022)

On real and observable rational realizations of input-output equations
di: Falkensteiner, Sebastian, et al.
Pubblicazione: (2023)

Fully distributed consensus control for stochastic multi-agent systems under undirected and directed topologies
di: Hou, Xuping, et al.
Pubblicazione: (2026)