search result

Cover von VLDL Satisfiability and Model Checking via Tree Automata

VLDL Satisfiability and Model Checking via Tree Automata

Year: 2018
Media group: LIPIcs
Cover von How Deterministic are Good-For-Games Automata?

How Deterministic are Good-For-Games Automata?

Year: 2018
Media group: LIPIcs
Cover von Automata in the Category of Glued Vector Spaces

Automata in the Category of Glued Vector Spaces

Year: 2017
Media group: LIPIcs
Cover von Timed-Automata-Based Verification of MITL over Signals

Timed-Automata-Based Verification of MITL over Signals

Year: 2017
Media group: LIPIcs
Cover von Towards an Efficient Tree Automata Based Technique for Timed Systems

Towards an Efficient Tree Automata Based Technique for Timed Systems

Year: 2017
Media group: LIPIcs
Cover von Symbolic Automata Theory with Applications (Invited Talk)

Symbolic Automata Theory with Applications (Invited Talk)

Year: 2017
Media group: LIPIcs
Cover von Reusable Garbled Deterministic Finite Automata from Learning With Errors

Reusable Garbled Deterministic Finite Automata from Learning With Errors

Year: 2017
Media group: LIPIcs
Cover von Definability by Horn Formulas and Linear Time on Cellular Automata

Definability by Horn Formulas and Linear Time on Cellular Automata

Year: 2017
Media group: LIPIcs
Cover von Combined Tractability of Query Evaluation via Tree Automata and Cycluits

Combined Tractability of Query Evaluation via Tree Automata and Cycluits

Year: 2017
Media group: LIPIcs
Cover von Mean-Payoff Games on Timed Automata

Mean-Payoff Games on Timed Automata

Year: 2016
Media group: LIPIcs
OPEN V 11.1.0.0