search result

Cover von Coalgebraic Theory of Büchi and Parity Automata

Coalgebraic Theory of Büchi and Parity Automata

Fixed-Point Specifications, Categorically (Invited Tutorial)
Year: 2018
Media group: LIPIcs
Cover von Approximating Probabilistic Automata by Regular Languages

Approximating Probabilistic Automata by Regular Languages

Year: 2018
Media group: LIPIcs
Cover von On Randomized Generation of Slowly Synchronizing Automata

On Randomized Generation of Slowly Synchronizing Automata

Year: 2018
Media group: LIPIcs
Cover von Costs and Rewards in Priced Timed Automata

Costs and Rewards in Priced Timed Automata

Year: 2018
Media group: LIPIcs
Cover von Width of Non-deterministic Automata

Width of Non-deterministic Automata

Year: 2018
Media group: LIPIcs
Cover von Backward Deterministic Büchi Automata on Infinite Words

Backward Deterministic Büchi Automata on Infinite Words

Year: 2018
Media group: LIPIcs
Cover von On the Control of Asynchronous Automata

On the Control of Asynchronous Automata

Year: 2018
Media group: LIPIcs
Cover von Average Stack Cost of Büchi Pushdown Automata

Average Stack Cost of Büchi Pushdown Automata

Year: 2018
Media group: LIPIcs
Cover von Monitor Logics for Quantitative Monitor Automata

Monitor Logics for Quantitative Monitor Automata

Year: 2017
Media group: LIPIcs
Cover von Better Complexity Bounds for Cost Register Automata

Better Complexity Bounds for Cost Register Automata

Year: 2017
Media group: LIPIcs
OPEN V 11.1.0.0