Imagen de Portada

The Church Synthesis Problem over Continuous Time

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Rabinovich, Alexander, Fattal, Daniel
Formato:	Preprint
Publicado:	2024
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Decidability of MSO Reparameterization over Countable Chains
por: Rabinovich, Alexander
Publicado: (2026)

Synthesis of Infinite State Systems
por: Drucker, Ohad, et al.
Publicado: (2025)

Implication Problems over Positive Semirings
por: Hirvonen, Minna
Publicado: (2025)

More Church-Rosser Proofs in BELUGA
por: Momigliano, Alberto, et al.
Publicado: (2024)

The Discontinuity Problem
por: Brattka, Vasco
Publicado: (2020)

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem
por: Alrahman, Yehia Abd, et al.
Publicado: (2025)

Decidability and Complexity of Decision Problems for Affine Continuous VASS
por: Balasubramanian, A. R.
Publicado: (2024)

Many-valued coalgebraic logic over semi-primal varieties
por: Kurz, Alexander, et al.
Publicado: (2023)

Problems and Consequences of Bilateral Notions of (Meta-)Derivability
por: Ayhan, Sara
Publicado: (2025)

Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
por: Xu, Ming, et al.
Publicado: (2022)

Strict width for Constraint Satisfaction Problems over homogeneous strucures of finite duality
por: Nagy, Tomáš, et al.
Publicado: (2024)

The Proof Analysis Problem
por: Arteche, Noel, et al.
Publicado: (2025)

On matrix rank function over bounded arithmetics
por: Ken, Eitetsu, et al.
Publicado: (2023)

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
por: Spork, Timm, et al.
Publicado: (2025)

Cut-free Deductive System for Continuous Intuitionistic Logic
por: Geoffroy, Guillaume
Publicado: (2025)

Consistent Update Synthesis via Privatized Beliefs
por: Schlögl, Thomas, et al.
Publicado: (2024)

Logical Approaches to Non-deterministic Polynomial Time over Semirings
por: Barlag, Timon, et al.
Publicado: (2025)

Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
por: Katsura, Hiroyuki, et al.
Publicado: (2025)

Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata
por: André, Étienne, et al.
Publicado: (2023)

Deciding Equations in the Time Warp Algebra
por: van Gool, Sam, et al.
Publicado: (2023)

Proof-theoretic Semantics for First-order Logic
por: Gheorghiu, Alexander V.
Publicado: (2024)

Support is Search
por: Gheorghiu, Alexander V.
Publicado: (2026)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
por: Gaßner, Christine
Publicado: (2025)

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
por: Gaßner, Christine
Publicado: (2025)

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
por: Gaßner, Christine
Publicado: (2025)

Generalization Problems with Atom-Variables in Languages with Binders and Equational Theories
por: Nantes-Sobrinho, Daniele, et al.
Publicado: (2025)

On the Metric Temporal Logic for Continuous Stochastic Processes
por: Ikeda, Mitsumasa, et al.
Publicado: (2023)

$Π_{2}^{P}$ vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem
por: Zhuk, Dmitriy
Publicado: (2024)

On Problems Dual to Unification: The String-Rewriting Case
por: Akçam, Zümrüt, et al.
Publicado: (2021)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
por: Gheorghiu, Alexander V., et al.
Publicado: (2025)

Verifying Solutions to Semantics-Guided Synthesis Problems
por: Murphy, Charlie, et al.
Publicado: (2024)

Semantic Foundations of Reductive Reasoning
por: Gheorghiu, Alexander V., et al.
Publicado: (2024)

Proof-theoretic Semantics for Second-order Logic
por: Gheorghiu, Alexander V., et al.
Publicado: (2025)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
por: Gheorghiu, Alexander V., et al.
Publicado: (2022)

Proof-theoretic Semantics for the Logic of Bunched Implications
por: Gu, Tao, et al.
Publicado: (2023)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
por: Gheorghiu, Alexander V., et al.
Publicado: (2023)

Countability constraints in order-theoretic approaches to computability
por: Hack, Pedro, et al.
Publicado: (2022)

Network Satisfaction Problems Solved by k-Consistency
por: Bodirsky, Manuel, et al.
Publicado: (2023)

Learning Branching-Time Properties in CTL and ATL via Constraint Solving
por: Bordais, Benjamin, et al.
Publicado: (2024)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
por: Gratzer, Daniel, et al.
Publicado: (2024)