Bounded synthesis of register transducers

DOI10.1007/978-3-030-01090-4_29zbMath1517.68244arXiv1809.05017MaRDI QIDQ6109605

Roderick Bloem, Ayrat Khalimov, Benedikt Maderbacher

Publication date: 28 July 2023

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1809.05017

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (8)

Reactive synthesis from visibly register pushdown automata ⋮ Temporal stream logic modulo theories ⋮ Church synthesis on register automata over linearly ordered data domains ⋮ Unnamed Item ⋮ On computability of data word functions defined by transducers ⋮ On Synthesis of Specifications with Arithmetic ⋮ Synthesis of Data Word Transducers ⋮ Unnamed Item

This page was built for publication: Bounded synthesis of register transducers