Boolean abstractions for realizability modulo theories
type: Item
instance of: scholarly article
title: Boolean abstractions for realizability modulo theories
zbMATH Open document ID: 1547.68451
DOI: 10.1007/978-3-031-37709-9_15
author: Andoni Rodríguez
author: César Sánchez
publication date: 2024-02-01T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 7798104
MaRDI profile type: Publication
cites work: Counting minimal unsatisfiable subsets
cites work: Vacuity in synthesis
cites work: Synthesis of Reactive(1) designs
cites work: Q5674430
cites work: An automata-theoretic approach to constraint LTL
cites work: LTL with Arithmetic and its Applications in Reasoning about Hierarchical Systems
cites work: Temporal stream logic modulo theories
cites work: Temporal stream logic: synthesis beyond the Bools
cites work: Bounded Synthesis
cites work: Automata, logics, and infinite games. A guide to current research
cites work: Fast, flexible MUS enumeration
cites work: Temporal Verification of Reactive Systems: Response
cites work: Verification, Model Checking, and Abstract Interpretation
cites work: Q4205072
cites work: Church’s Problem and a Tour through Automata Theory
description: scientific article; zbMATH DE number 7798104