Seminator 2 can complement generalized Büchi automata via improved semi-determinization
We present the second generation of the tool Seminator that transforms transition-based
generalized Büchi automata (TGBAs) into equivalent semi-deterministic automata. The tool …
generalized Büchi automata (TGBAs) into equivalent semi-deterministic automata. The tool …
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata
The topic of this paper is the determinization problem of ω-automata under the transition-
based Emerson-Lei acceptance (called TELA), which generalizes all standard acceptance …
based Emerson-Lei acceptance (called TELA), which generalizes all standard acceptance …
Determinization and limit-determinization of Emerson-Lei automata
We study the problem of determinizing ω ω-automata whose acceptance condition is
defined on the transitions using Boolean formulas, also known as transition-based Emerson …
defined on the transitions using Boolean formulas, also known as transition-based Emerson …
[PDF][PDF] Translation of LTL to Semi-Deterministic Automata via Alternating Automata
M Románek - is.muni.cz
The focus of this thesis is the translation of LTL formulae to semideterministic Buchi
automata (SDBA). We propose a new way of translation via very weak alternating automata …
automata (SDBA). We propose a new way of translation via very weak alternating automata …
[PDF][PDF] Dieses Dokument ist eine Zweitveröffentlichung (Verlagsversion)/This is a self-archiving document (published version)
K Miller, R Morant, A Stenzl, I Zuna, M Wirth - Urol Int, 2016 - core.ac.uk
Introduction: This phase II trial evaluated the efficacy and safety of the epidermal growth
factor receptor (EGFR) tyrosine kinase inhibitor, gefitinib, in combination with first-line …
factor receptor (EGFR) tyrosine kinase inhibitor, gefitinib, in combination with first-line …