Personal tools
You are here: Home Events Lab Lunch by Richard Mayr

Lab Lunch by Richard Mayr

— filed under:

Minimizing nondeterministic automata: From words to trees

What
  • Lab Lunch
When Apr 21, 2015
from 01:00 PM to 02:00 PM
Where MF2
Add event to calendar vCal
iCal


This talk gives an overview on recent methods to
minimize nondeterministic automata.
In particular, we focus on the differences between
word automata and tree automata.
Moreover, we discuss some algorithmic problems in
approximating the PSPACE/EXPTIME-complete word/tree language inclusion.

Document Actions