search result

Cover von Rabin vs. Streett Automata

Rabin vs. Streett Automata

Year: 2018
Media group: LIPIcs
Cover von Probabilistic Automata of Bounded Ambiguity

Probabilistic Automata of Bounded Ambiguity

Year: 2017
Media group: LIPIcs
Cover von Regular Separability of Parikh Automata

Regular Separability of Parikh Automata

Year: 2017
Media group: LIPIcs
Cover von Bisimulation Metrics for Weighted Automata

Bisimulation Metrics for Weighted Automata

Year: 2017
Media group: LIPIcs
Cover von Fast Synchronization of Random Automata

Fast Synchronization of Random Automata

Year: 2016
Media group: LIPIcs
Cover von Foundations of active automata learning
an algorithmic perspective
Author: Isberner, Malte Search for this author
Year: 2015
Publisher: Dortmund, Universität
Media group: DISSERTATION
Cover von Verification of  Dynamic Register Automata

Verification of Dynamic Register Automata

Year: 2014
Media group: LIPIcs
Cover von Jumping Automata for Uniform Strategies

Jumping Automata for Uniform Strategies

Year: 2013
Media group: LIPIcs
Cover von Pattern Generation by Cellular Automata

Pattern Generation by Cellular Automata

(Invited Talk)
Year: 2013
Media group: LIPIcs
Cover von Approximate comparison of distance automata

Approximate comparison of distance automata

Year: 2013
Media group: ARTICLE
OPEN V 11.1.0.0