Sven Schewe
University of Liverpool
H-index: 28
Europe-United Kingdom
Top articles of Sven Schewe
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Omega-Regular Decision Processes | Proceedings of the AAAI Conference on Artificial Intelligence | Ernst Moritz Hahn Mateo Perez Sven Schewe Fabio Somenzi Ashutosh Trivedi | 2024/3/24 |
Semantic flowers for good-for-games and deterministic automata | Information Processing Letters | Daniele Dell'Erba Sven Schewe Qiyi Tang Tansholpan Zhanabekova | 2024/3/1 |
An Objective Improvement Approach to Solving Discounted Payoff Games | arXiv preprint arXiv:2404.04124 | Daniele Dell'Erba Arthur Dumas Sven Schewe | 2024/4/4 |
Multi-objective ω-regular reinforcement learning | Formal Aspects of Computing | Ernst Moritz Hahn Mateo Perez Sven Schewe Fabio Somenzi Ashutosh Trivedi | 2023/7/18 |
History-deterministic Timed Automata | arXiv preprint arXiv:2304.03183 | Sougata Bose Thomas A Henzinger Karoliina Lehtinen Sven Schewe Patrick Totzke | 2023/4/6 |
Robust Bayesian Abstraction of Neural Networks | Amany Alshareef Nicolas Berthier Sven Schewe Xiaowei Huang | 2023/7/9 | |
Aspects of Computation and Automata Theory with Applications | Noam Greenberg Sanjay Jain Keng Meng Ng Sven Schewe Frank Stephan | 2023/10/23 | |
Secure Joint Querying Over Federated Graph Databases Utilising SMPC Protocols. | Nouf Al-Juaid Alexei Lisitsa Sven Schewe | 2023 | |
Singly Exponential Translation of Alternating Weak B\" uchi Automata to Unambiguous B\" uchi Automata | arXiv preprint arXiv:2305.09966 | Yong Li Sven Schewe Moshe Y Vardi | 2023/5/17 |
A Novel Family of Finite Automata for Recognizing and Learning -Regular Languages | Yong Li Sven Schewe Qiyi Tang | 2023/10/22 | |
Weight-based Semantic Testing Approach for Deep Neural Networks | The IJCAI Workshop on Artificial Intelligence Safety | Amany Alshareef Nicolas Berthier Sven Schewe Xiaowei Huang | 2023 |
Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning | Ernst Moritz Hahn Mateo Perez Sven Schewe Fabio Somenzi Ashutosh Trivedi | 2023/4/22 | |
Omega-Regular Reward Machines | arXiv preprint arXiv:2308.07469 | Ernst Moritz Hahn Mateo Perez Sven Schewe Fabio Somenzi Ashutosh Trivedi | 2023/8/14 |
Reliability assessment and safety arguments for machine learning components in system assurance | ACM Transactions on Embedded Computing Systems | Yi Dong Wei Huang Vibhav Bharti Victoria Cox Alec Banks | 2023/4/20 |
On the Succinctness of Good-for-MDPs Automata | arXiv preprint arXiv:2307.11483 | Sven Schewe Qiyi Tang | 2023/7/21 |
Hidden 1-Counter Markov Models and How to Learn Them | Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence | Mehmet Kurucan Mete Özbaltan Sven Schewe Dominik Wojtczak | 2022 |
Natural colors of infinite words | arXiv preprint arXiv:2207.11000 | Rüdiger Ehlers Sven Schewe | 2022/7/22 |
An impossibility result in automata-theoretic reinforcement learning | Ernst Moritz Hahn Mateo Perez Sven Schewe Fabio Somenzi Ashutosh Trivedi | 2022/10/21 | |
Enhancing adversarial training with second-order statistics of weights | IEEE / CVF Computer Vision and Pattern Recognition Conference (CVPR) | Gaojie Jin Xinping Yi Wei Huang Sven Schewe Xiaowei Huang | 2022/3/11 |
Deciding what is good-for-MDPs | arXiv preprint arXiv:2202.07629 | Sven Schewe Qiyi Tang Tansholpan Zhanabekova | 2022/2/15 |