Author of the publication

Alternating Good-for-MDPs Automata.

, , , , , and . ATVA, volume 13505 of Lecture Notes in Computer Science, page 303-319. Springer, (2022)

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)Coordination Games on Weighted Directed Graphs., , and . Math. Oper. Res., 47 (2): 995-1025 (2022)MC-NN: An End-to-End Multi-Channel Neural Network Approach for Predicting Influenza A Virus Hosts and Antigenic Types., and . CoRR, (2023)Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives., , , , , and . FM, volume 13047 of Lecture Notes in Computer Science, page 142-159. Springer, (2021)Minimal Number of Calls in Propositional Protocols., and . RP, volume 13035 of Lecture Notes in Computer Science, page 132-148. Springer, (2021)Predicting Influenza A Viral Host Using PSSM and Word Embeddings., and . CIBCB, page 1-10. IEEE, (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)A Recursive Approach to Solving Parity Games in Quasipolynomial Time., , , and . Log. Methods Comput. Sci., (2022)Dive into Machine Learning Algorithms for Influenza Virus Host Prediction with Hemagglutinin Sequences., and . CoRR, (2022)