Author of the publication

Omega-Regular Reward Machines.

, , , , , and . ECAI, volume 372 of Frontiers in Artificial Intelligence and Applications, page 972-979. IOS Press, (2023)

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.

 

Other publications of authors with the same name

Verification of Distributed Epistemic Gossip Protocols., and . J. Artif. Intell. Res., (2018)MC-NN: An End-to-End Multi-Channel Neural Network Approach for Predicting Influenza A Virus Hosts and Antigenic Types., and . CoRR, (2023)Coordination Games on Weighted Directed Graphs., , and . Math. Oper. Res., 47 (2): 995-1025 (2022)Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives., , , , , and . FM, volume 13047 of Lecture Notes in Computer Science, page 142-159. Springer, (2021)Predicting Influenza A Viral Host Using PSSM and Word Embeddings., and . CIBCB, page 1-10. IEEE, (2021)Minimal Number of Calls in Propositional Protocols., and . RP, volume 13035 of Lecture Notes in Computer Science, page 132-148. Springer, (2021)Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives., , , , , and . ATVA, volume 12302 of Lecture Notes in Computer Science, page 108-124. Springer, (2020)Correction: MC-NN: An End-to-End Multi-Channel Neural Network Approach for Predicting Influenza A Virus Hosts and Antigenic Types., and . SN Comput. Sci., 5 (4): 331 (April 2024)How to Play in Infinite MDPs (Invited Talk)., , , , and . ICALP, volume 168 of LIPIcs, page 3:1-3:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Omega-Regular Decision Processes., , , , , and . AAAI, page 21125-21133. AAAI Press, (2024)