search result

Cover von Strongly Unambiguous Büchi Automata Are Polynomially Predictable With Membership Queries

Strongly Unambiguous Büchi Automata Are Polynomially Predictable With Membership Queries

Year: 2020
Media group: LIPIcs
Cover von Approximate Learning of Limit-Average Automata

Approximate Learning of Limit-Average Automata

Year: 2019
Media group: LIPIcs
Cover von Revisiting Local Time Semantics for Networks of Timed Automata

Revisiting Local Time Semantics for Networks of Timed Automata

Year: 2019
Media group: LIPIcs
Cover von Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques

Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques

Year: 2019
Media group: LIPIcs
Cover von A Congruence-based Perspective on Automata Minimization Algorithms

A Congruence-based Perspective on Automata Minimization Algorithms

Year: 2019
Media group: LIPIcs
Cover von Aperiodic Weighted Automata and Weighted First-Order Logic

Aperiodic Weighted Automata and Weighted First-Order Logic

Year: 2019
Media group: LIPIcs
Cover von Determinisation of Finitely-Ambiguous Copyless Cost Register Automata

Determinisation of Finitely-Ambiguous Copyless Cost Register Automata

Year: 2019
Media group: LIPIcs
Cover von Exploration of High-Dimensional Grids by Finite Automata

Exploration of High-Dimensional Grids by Finite Automata

Year: 2019
Media group: LIPIcs
Cover von Automata Learning and Galois Connections (Invited Talk)

Automata Learning and Galois Connections (Invited Talk)

Year: 2019
Media group: LIPIcs
Cover von Finite Sequentiality of Unambiguous Max-Plus Tree Automata

Finite Sequentiality of Unambiguous Max-Plus Tree Automata

Year: 2019
Media group: LIPIcs
OPEN V 11.1.0.0