Cover Image

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Jacobs, Swen, Perez, Guillermo A., Abraham, Remco, Bruyere, Veronique, Cadilhac, Michael, Colange, Maximilien, Delfosse, Charly, van Dijk, Tom, Duret-Lutz, Alexandre, Faymonville, Peter, Finkbeiner, Bernd, Khalimov, Ayrat, Klein, Felix, Luttenberger, Michael, Meyer, Klara, Michaud, Thibaud, Pommellet, Adrien, Renkin, Florian, Schlehuber-Caissier, Philipp, Sakr, Mouhammad, Sickert, Salomon, Staquet, Gaetan, Tamines, Clement, Tentrup, Leander, Walker, Adam
Format:	Preprint
Published:	2022
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Temporal Logic Synthesis Format TLSF v1.2
by: Jacobs, Swen, et al.
Published: (2023)

From LTL to COCOA without Detours
by: Ehlers, Rüdiger, et al.
Published: (2024)

Fully Generalized Reactivity(1) Synthesis
by: Ehlers, Rüdiger, et al.
Published: (2024)

$ω$-Regular Energy Problems
by: Dziadek, Sven, et al.
Published: (2022)

Learning Realtime One-Counter Automata
by: Bruyère, Véronique, et al.
Published: (2021)

Interpreted Higher-Dimensional Automata for Concurrent Discrete-Event Control
by: Bellier, Dylan, et al.
Published: (2026)

Echtzeitsysteme/tchecker: v26.03.06
by: Frédéric Herbreteau, et al.
Published: (2026)

Visibly Recursive Automata
by: Dubrulle, Kévin, et al.
Published: (2026)

Higher-Dimensional Timed Automata for Real-Time Concurrency
by: Amrane, Amazigh, et al.
Published: (2024)

Petri Nets and Higher-Dimensional Automata
by: Amrane, Amazigh, et al.
Published: (2025)

Automata with Timers
by: Bruyère, Véronique, et al.
Published: (2023)

Parameterized Verification of Round-based Distributed Algorithms via Extended Threshold Automata
by: Baumeister, Tom, et al.
Published: (2024)

Active Learning of Mealy Machines with Timers
by: Bruyère, Véronique, et al.
Published: (2024)

Persistent Cycle Representatives and Generalized Landscapes for Codimension 1 Persistent Homology
by: Lenzen, Fabian, et al.
Published: (2025)

TACO: A Toolsuite for the Verification of Threshold Automata
by: Eichler, Paul, et al.
Published: (2026)

Joint semi-parametric INAR bootstrap inference for model coefficients and innovation distribution
by: Faymonville, Maxime, et al.
Published: (2025)

Automata Learning with an Incomplete but Inductive Teacher (Technical Report)
by: Stan, Daniel, et al.
Published: (2026)

SAT-based Learning of Computation Tree Logic
by: Pommellet, Adrien, et al.
Published: (2024)

Encryption scheme based on Automorphism Group of Hermitian Function Field with Homomorphic Encryption
by: Khalimov, Gennady, et al.
Published: (2025)

Improved MST3 Encryption scheme based on small Ree groups
by: Khalimov, Gennady, et al.
Published: (2025)

Security Parameter Analysis of the LINEture Post-Quantum Digital Signature Scheme
by: Kotukh, Yevgen, et al.
Published: (2026)

LINEture: novel signature cryptosystem
by: Khalimov, Gennady, et al.
Published: (2026)

MST3 Encryption improvement with three-parameter group of Hermitian function field
by: Khalimov, Gennady, et al.
Published: (2025)

Secured Encryption scheme based on the Ree groups
by: Khalimov, Gennady, et al.
Published: (2025)

Advanced MST3 Encryption scheme based on generalized Suzuki 2-groups
by: Khalimov, Gennady, et al.
Published: (2025)

Cryptographic Strengthening of MST3 cryptosystem via Automorphism Group of Suzuki Function Fields
by: Khalimov, Gennady, et al.
Published: (2025)

LINE: Public-key encryption
by: Khalimov, Gennady, et al.
Published: (2025)

Efficient Normalization of Linear Temporal Logic
by: Esparza, Javier, et al.
Published: (2023)

Antichains for Concurrent Parameterized Games
by: Bertrand, Nathalie, et al.
Published: (2025)

Predictive inference for discrete-valued time series
by: Faymonville, Maxime, et al.
Published: (2025)

«In Agro Crotoniensi» – Archéologie et histoire de Crotone durant la période romaine (3ème siècle av. J.-C. – 6ème siècle apr. J.-C.) – KROTON 2
by: Duret, Marc
Published: (2023)

Noncommutative maximal ergodic inequalities for amenable groups
by: Cadilhac, Léonard, et al.
Published: (2022)

STEVE SWEN AGI
by: Werner, Swen
Published: (2026)

Wie geht's, altes Haus? Gedanken und Fakten zur energetischen Sanierung
by: Swen Klauß
Published: (2026)

Fear of and anger against the Other - the strange, the sick and the imaginary struggle for survival
by: Swen Seebach
Published: (2016)

Semi-parametric goodness-of-fit testing for INAR models
by: Faymonville, Maxime, et al.
Published: (2024)

Dealing with steep slopes when modeling stable boundary‐layer flow in Alpine terrain
by: E. Le Bouëdec, et al.
Published: (2024)

Turán Graphs, Stability Number, and Fibonacci Index
by: Bruyère, Véronique, et al.
Published: (2008)

Fibonacci Index and Stability Number of Graphs: a Polyhedral Study
by: Bruyère, Véronique, et al.
Published: (2008)

Gravitational lensing beyond the eikonal approximation
by: Bruyère, Emma, et al.
Published: (2026)