Safraless LTL synthesis considering maximal realizability
type: Item
instance of: scholarly article
title: Safraless LTL synthesis considering maximal realizability
zbMATH Open document ID: 1380.68285
author: Takashi Tomita
author: Atsushi Ueno
author: Masaya Shimakawa
author: Shigeki Hagihara
author: Naoki Yonezaki
published in: Acta Informatica
publication date: 2017-10-26T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 6798469
describes a project that uses: SPOT
describes a project that uses: LTL2BA
describes a project that uses: Acacia+
MaRDI profile type: Publication
full work available at URL: s00236-016-0280-3
OpenAlex ID: W2528851098
Wikidata QID: Q59607128
cites work: Reasoning about infinite computations
cites work: LTL to Büchi Automata Translation: Fast and More Deterministic
cites work: LTL Model Checking of Interval Markov Chains
cites work: Synthesizing robust systems
cites work: Better Quality in Synthesis through Quantitative Objectives
cites work: Synthesis from LTL Specifications with Mean-Payoff Objectives
cites work: Parityizing Rabin and Streett
cites work: Faster algorithms for mean-payoff games
cites work: Symbolic bounded synthesis
cites work: Environment Assumptions for Synthesis
cites work: Strategy synthesis for multi-dimensional quantitative objectives
cites work: The complexity of mean payoff games on graphs
cites work: Positional strategies for mean payoff games
cites work: From LTL to deterministic automata. A safraless compositional approach
cites work: Bounded Synthesis
cites work: Q4551134
cites work: From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity Automata
cites work: Q4205072
cites work: Tighter Bounds for the Determinisation of Büchi Automata
cites work: Tight Bounds for the Determinisation and Complementation of Generalised Büchi Automata
cites work: Q3710510
DBLP publication ID: journals/acta/TomitaUSHY17
DOI: 10.1007/S00236-016-0280-3
description: scientific article; zbMATH DE number 6798469