PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Schewe, Sven"

Author of the publication

copydeleteadd this publication to your clipboard
MDPs with Energy-Parity Objectives.

, , , and . CoRR, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sven Stark University of Stuttgart

Franz Schewe University of Stuttgart

Sven Fischer

Sven Sewalski University of Stuttgart

Sven Weidner University of Stuttgart

 

Other publications of authors with the same name

Omega-Regular Objectives in Model-Free Reinforcement Learning., , , , , and . CoRR, (2018)Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games., , , and . CoRR, (2016)Parity Games with Weights., , and . Logical Methods in Computer Science, (2019)Making the Best of Limited Memory in Multi-Player Discounted Sum Games., , and . GandALF, volume 193 of EPTCS, page 16-30. (2015)Selective Approaches for Solving Weak Games., , and . ATVA, volume 4218 of Lecture Notes in Computer Science, page 200-214. Springer, (2006)ATL* Satisfiability Is 2EXPTIME-Complete.. ICALP (2), volume 5126 of Lecture Notes in Computer Science, page 373-385. Springer, (2008)Lazy Probabilistic Model Checking without Determinisation., , , , and . CONCUR, volume 42 of LIPIcs, page 354-367. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2015)Playing Optimally on Timed Automata with Random Delays., and . FORMATS, volume 7595 of Lecture Notes in Computer Science, page 43-58. Springer, (2012)Quantitative Verification in Rational Environments., and . TIME, page 123-131. IEEE Computer Society, (2014)Büchi Complementation Made Tight.. STACS, volume 3 of LIPIcs, page 661-672. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, (2009)