search result

Cover von One-Counter Automata with Counter Observability

One-Counter Automata with Counter Observability

Year: 2016
Media group: LIPIcs
Cover von Coalgebraic Trace Semantics for Buechi and Parity Automata

Coalgebraic Trace Semantics for Buechi and Parity Automata

Year: 2016
Media group: LIPIcs
Cover von Transformation Between Regular Expressions and omega-Automata

Transformation Between Regular Expressions and omega-Automata

Year: 2016
Media group: LIPIcs
Cover von Nested Weighted Limit-Average Automata of Bounded Width

Nested Weighted Limit-Average Automata of Bounded Width

Year: 2016
Media group: LIPIcs
Cover von Interaction Automata and the ia2d Interpreter

Interaction Automata and the ia2d Interpreter

Year: 2016
Media group: LIPIcs
Cover von Characterisation of an Algebraic Algorithm for Probabilistic Automata

Characterisation of an Algebraic Algorithm for Probabilistic Automata

Year: 2016
Media group: LIPIcs
Cover von Cost Functions Definable by Min/Max Automata

Cost Functions Definable by Min/Max Automata

Year: 2016
Media group: LIPIcs
Cover von Tutorial on Cellular Automata and Tilings (Tutorial)

Tutorial on Cellular Automata and Tilings (Tutorial)

Year: 2016
Media group: LIPIcs
Cover von Proving non-termination by finite automata

Proving non-termination by finite automata

Year: 2015
Media group: LIPIcs
Cover von Parameterized Communicating Automata: Complementation and Model Checking

Parameterized Communicating Automata: Complementation and Model Checking

Year: 2014
Media group: LIPIcs
OPEN V 11.1.0.0