Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 10.


Bhave, Devendra, Jha, Sagar, Krishna, Shankara Narayanan, Schewe, Sven ORCID: 0000-0002-9093-9518 and Trivedi, Ashutosh
(2015) Bounded-rate multi-mode systems based motion planning. In: Unspecified ACM.


Hahn, Ernst Moritz, Perez, Mateo, Schewe, Sven ORCID: 0000-0002-9093-9518, Somenzi, Fabio, Trivedi, Ashutosh and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2020) Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives. .


Hahn, Ernst Moritz ORCID: 0000-0002-9348-7684, Perez, Mateo ORCID: 0000-0003-4220-3212, Schewe, Sven, Somenzi, Fabio ORCID: 0000-0002-2085-2003, Trivedi, Ashutosh ORCID: 0000-0001-9346-0126 and Wojtczak, Dominik
(2020) Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning. .


Gupta, Anshul, Schewe, Sven ORCID: 0000-0002-9093-9518, Trivedi, Ashutosh, Deepak, Maram Sai Krishna and Padarthi, Bharath Kumar
(2016) Incentive Stackelberg Mean-Payoff Games. .


Hahn, Ernst Moritz, Perez, Mateo, Schewe, Sven ORCID: 0000-0002-9093-9518, Somenzi, Fabio, Trivedi, Ashutosh and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2021) Model-Free Reinforcement Learning for Branching Markov Decision Processes. COMPUTER AIDED VERIFICATION, PT II, CAV 2021, 12760. 651 - 673.


Hahn, Ernst-Moritz, Perez, Mateo, Schewe, Sven ORCID: 0000-0002-9093-9518, Somenzi, Fabio, Trivedi, Ashutosh and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2021) Model-Free Reinforcement Learning for Branching Markov Decision Processes. In: International Conference on Computer Aided Verification.


Hahn, Ernst-Moritz, Perez, Mateo, Schewe, Sven ORCID: 0000-0002-9093-9518, Somenzi, Fabio, Trivedi, Ashutosh and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2021) Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives. In: International Symposium on Formal Methods.


Hahn, EM, Perez, Mateo, Schewe, S ORCID: 0000-0002-9093-9518, Somenzi, Fabio, Trivedi, Ashutosh and Wojtczak, DK ORCID: 0000-0001-5560-0546
(2019) Omega-Regular Objectives in Model-Free Reinforcement Learning. In: 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2019-04-06 - 2019-04-11, Prague, Czech Republic.


Das, Ankush, Krishna, Shankara Narayanan, Manasa, Lakshmi, Trivedi, Ashutosh and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2015) On Pure Nash Equilibria in Stochastic Games. .


Schewe, Sven ORCID: 0000-0002-9093-9518, Trivedi, Ashutosh and Varghese, Thomas
(2015) Symmetric Strategy Improvement. In: Automata, Languages, and Programming. Lecture Notes in Computer Science, 9135 . Springer, 388 - 400.

This list was generated on Sat Jan 15 20:42:29 2022 GMT.