Login / Signup
Stephan Barth
Publication Activity (10 Years)
Years Active: 2012-2016
Publications (10 Years): 1
Top Topics
Efficient Learning
Monadic Second Order Logic
Finite Automata
Sat Solvers
Top Venues
GandALF
Joint Workshop of the German Research Training Groups in Computer Science
IFM
</>
Publications
</>
Stephan Barth
Deciding Monadic Second Order Logic over \omega ω -Words by Specialized Finite Automata.
IFM
(2016)
Stephan Barth
Deciding MSO over w-Words by means of Finite Automata.
Joint Workshop of the German Research Training Groups in Computer Science
(2014)
Stephan Barth
,
Martin Hofmann
Learn with SAT to Minimize Büchi Automata
GandALF
(2012)