Browse by People

Berthier, Nicolas, Alshareef, Amany, Sharp, James, Schewe, Sven ORCID: 0000-0002-9093-9518 and Huang, Xiaowei ORCID: 0000-0001-6267-0366 (2021) Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features. [Preprint]

Ozbaltan, Mete (2020) Achieving Power Efficiency in Hardware Circuits with Symbolic Discrete Control. PhD thesis, University of Liverpool.

Hahn, Ernst Moritz, Perez, Mateo, Schewe, Sven ORCID: 0000-0002-9093-9518, Somenzi, Fabio, Trivedi, Ashutosh and Wojtczak, Dominik ORCID: 0000-0001-5560-0546 (2022) Alternating Good-for-MDP Automata. [Preprint]

Zhao, Xingyu ORCID: 0000-0002-3474-349X, Huang, Wei, Banks, Alec, Cox, Victoria, Flynn, David, Schewe, Sven ORCID: 0000-0002-9093-9518 and Huang, Xiaowei ORCID: 0000-0001-6267-0366 (2021) Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles. In: AISafety 2021 Workshop co-located with IJCAI-21, 2021-8-21 - 2021-8-23, virtual.

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: Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15. ACM, pp. 41-50. ISBN 9781450334334

Gupta, Anshul and Schewe, Sven ORCID: 0000-0002-9093-9518 (2018) Buying Optimal Payoffs in Bi-Matrix Games. Games, 9 (3). p. 40.

Bloem, Roderick, Schewe, Sven ORCID: 0000-0002-9093-9518 and Khalimov, Ayrat (2017) CTL* synthesis via LTL synthesis. .

Konur, Savas, Fisher, Michael and Schewe, Sven ORCID: 0000-0002-9093-9518 (2013) Combined model checking for temporal, probabilistic, and real-time logics. THEORETICAL COMPUTER SCIENCE, 503. pp. 61-88.

Blahoudek, Frantisek, Heizmann, Matthias, Schewe, Sven ORCID: 0000-0002-9093-9518, Strejcek, Jan and Tsai, Ming-Hsien (2016) Complementing Semi-deterministic Buchi Automata. .

Zhao, Xingyu ORCID: 0000-0002-3474-349X, Huang, Wei, Schewe, Sven ORCID: 0000-0002-9093-9518, Dong, Yi ORCID: 0000-0003-3047-7777 and Huang, Xiaowei ORCID: 0000-0001-6267-0366 (2021) Detecting Operational Adversarial Examples for Reliable Deep Learning. In: 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S), 2021-6-21 - 2021-6-24, Taipei, Taiwan.

Fu, Chen, Hahn, Ernst-Moritz, Li, Yong ORCID: 0000-0002-7301-9234, Schewe, Sven ORCID: 0000-0002-9093-9518, Sun, Meng, Turrini, Andreas and Zhang, Lijun (2022) EPMC Gets Knowledge in Multi-Agent Systems. In: International Conference on Verification, Model Checking, and Abstract Interpretation.

Schewe, Sven ORCID: 0000-0002-9093-9518 and Zhang, Lijun (2021) Editorial - Special issue on Concurrency Theory (CONCUR 2018). JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 119. pp. 19-20.

Fearnley, John, Rabe, Markus, Schewe, Sven ORCID: 0000-0002-9093-9518 and Zhang, Lijun (2010) Efficient Approximation of Optimal Control for Markov Games. CoRR.

Jin, Gaojie, Yi, Xinping ORCID: 0000-0001-5163-2364, Huang, Wei, Schewe, Sven ORCID: 0000-0002-9093-9518 and Huang, Xiaowei ORCID: 0000-0001-6267-0366 (2022) Enhancing Adversarial Training with Second-Order Statistics of Weights. In: 2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 2022-6-18 - 2022-6-24.

Chatterjee, K, Goharshady, AK, Ibsen-Jensen, R ORCID: 0000-0003-4783-0389 and Velner, Y (2018) Ergodic mean-payo games for the analysis of attacks in crypto-currencies. Leibniz International Proceedings in Informatics, LIPIcs, 118. 11:1-11:1.

Lamprou, Ioannis ORCID: 0000-0001-5337-7336, Martin, Russell ORCID: 0000-0002-7043-503X and Schewe, Sven ORCID: 0000-0002-9093-9518 (2019) Eternally dominating large grids. Theoretical Computer Science, 794. pp. 27-46.

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. In: ATVA, 2020-10-19 - 2020-10-23.

Lamprou, Ioannis ORCID: 0000-0001-5337-7336, Martin, Russell ORCID: 0000-0002-7043-503X and Schewe, Sven ORCID: 0000-0002-9093-9518 (2016) Fast Two-Robot Disk Evacuation with Wireless Communication. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9888 L. pp. 1-15.

Lamprou, Ioannis, Martin, Russell and Schewe, Sven ORCID: 0000-0002-9093-9518 (2020) Fast two-robot disk evacuation with wireless communication. Theoretical Computer Science, 846. pp. 38-60.

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

Kurucan, Mehmet, Özbaltan, Mete, Schewe, Sven ORCID: 0000-0002-9093-9518 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546 (2022) Hidden 1-Counter Markov Models and How to Learn Them. In: Thirty-First International Joint Conference on Artificial Intelligence {IJCAI-22}, 2022-7-23 - 2022-7-29, Vienna, Austria.

Kurucan, Mehmet (2020) Hidden Probabilistic One-Counter Automata. PhD thesis, University of Liverpool.

Bose, Sougata, Henzinger, Thomas A, Lehtinen, Karoliina, Schewe, Sven ORCID: 0000-0002-9093-9518 and Totzke, Patrick ORCID: 0000-0001-5274-8190 (2022) History-Deterministic Timed Automata Are Not Determinizable. .

Husien, Idress, Berthier, Nicolas ORCID: 0000-0002-0933-8193 and Schewe, Sven ORCID: 0000-0002-9093-9518 (2017) A Hot Method for Synthesising Cool Controllers. In: ISSTA '17: International Symposium on Software Testing and Analysis, 2017-7-13 - 2017-7-14, Santa Barbara, California, United States.

Jin, Gaojie, Yi, Xinping ORCID: 0000-0001-5163-2364, Zhang, Liang, Zhang, Lijun, Schewe, Sven ORCID: 0000-0002-9093-9518 and Huang, Xiaowei ORCID: 0000-0001-6267-0366 (2020) How does Weight Correlation Affect the Generalisation Ability of Deep Neural Networks. .

Hahn, Ernst Moritz, Li, Yi, Schewe, Sven ORCID: 0000-0002-9093-9518, Turrini, Andrea and Zhang, Lijun (2014) ISCASMC: A Web-Based Probabilistic Model Checker. In: FM 2014: Formal Methods - 19th International Symposium, Singapore.

Hahn, Ernst Moritz, Trivedi, Ashutosh, Perez, Mateo, Somenzi, Fabio, Schewe, Sven ORCID: 0000-0002-9093-9518 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546 (2022) An Impossibility Result in Automata-Theoretic Reinforcement Learning. In: ATVA22.

Lehtinen, Karoliina ORCID: 0000-0003-1171-8790, Schewe, Sven ORCID: 0000-0002-9093-9518 and Wojtczak, Dominik (2019) Improving the complexity of Parys' recursive algorithm. [Internet Publication]

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. .

Gainer, Paul, Hahn, Ernst Moritz and Schewe, Sven ORCID: 0000-0002-9093-9518 (2018) Incremental Verification of Parametric and Reconfigurable Markov Chains. In: International Conference on Quantitative Evaluation of SysTems, 2018-9-4 - 2018-9-7, Beijing.

Gupta, Anshul and Schewe, Sven ORCID: 0000-0002-9093-9518 (2015) It Pays to Pay in Bi-Matrix Games - a Rational Explanation for Bribery. In: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems. AAMAS, 3 . International Foundation for Autonomous Agents and Multiagent Systems, pp. 1361-1369. ISBN 9781450337717

Li, Yong, Turrini, Andrea, Zhang, Lijun and Schewe, Sven ORCID: 0000-0002-9093-9518 (2018) Learning to Complement Buchi Automata. In: 19th International Conference on Verification, Model Checking, and Abstract Interpretation, 2017-12-7 - 2017-12-9, Los Angeles, CA, USA.

Mayr, Richard, Schewe, Sven ORCID: 0000-0002-9093-9518, Totzke, Patrick ORCID: 0000-0001-5274-8190 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546 (2017) MDPs with energy-parity objectives. In: LICS, 2018-6-20 - 2018-6-23, Reykjavik, Iceland.

Gupta, Anshul, Schewe, Sven ORCID: 0000-0002-9093-9518 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546 (2015) Making the Best of Limited Memory in Multi-Player Discounted Sum Games. In: 6th International Symposium on Games, Automata, Logics and Formal Verification (GandALF).

Lamprou, Ioannis ORCID: 0000-0001-5337-7336, Martin, Russell ORCID: 0000-0002-7043-503X, Schewe, Sven ORCID: 0000-0002-9093-9518, Sigalas, Ioannis and Zissimopoulos, Vassilis (2018) Maximum Rooted Connected Expansion. Leibniz International Proceedings in Informatics, LIPIcs, 117.

Lamprou, Ioannis ORCID: 0000-0001-5337-7336, Martin, Russell ORCID: 0000-0002-7043-503X, Schewe, Sven ORCID: 0000-0002-9093-9518, Sigalas, Ioannis and Zissimopoulos, Vassilis (2021) Maximum rooted connected expansion. .

Lamprou, Ioannis, Martin, Russell, Schewe, Sven ORCID: 0000-0002-9093-9518, Sigalas, Ioannis and Zissimopoulos, Vassilis (2021) Maximum rooted connected expansion. Theor. Comput. Sci., 873. 25 - 37.

Huang, Chung-Hao, Schewe, Sven ORCID: 0000-0002-9093-9518 and Wang, Farn (2013) Model-Checking Iterated Games. In: Tools and Algorithms for the Construction and Analysis of Systems, Rome, Italy.

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 Branching Markov Decision Processes. COMPUTER AIDED VERIFICATION, PT II, CAV 2021, 12760. pp. 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 Lexicographic Omega-Regular Objectives. In: International Symposium on Formal Methods.

Huang, Chung-Hao, Schewe, Sven ORCID: 0000-0002-9093-9518 and Wang, Farn (2017) Model-checking iterated games. ACTA INFORMATICA, 54 (7). pp. 625-654.

Hahn, Ernst Moritz, Perez, Mateo, Schewe, Sven ORCID: 0000-0002-9093-9518, Somenzi, Fabio, Trivedi, Ashutosh and Wojtczak, Dominik ORCID: 0000-0001-5560-0546 (2023) Multi-objective ω-Regular Reinforcement Learning. FORMAL ASPECTS OF COMPUTING, 35 (2). pp. 1-24.

Hahn, Ernst Moritz ORCID: 0000-0002-9348-7684, Perez, Mateo ORCID: 0000-0003-4220-3212, Schewe, Sven ORCID: 0000-0002-9093-9518, Somenzi, Fabio ORCID: 0000-0002-2085-2003, Trivedi, Ashutosh ORCID: 0000-0001-9346-0126 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546 (2023) Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning. In: Tools and Algorithms for the Construction and Analysis of Systems. Springer Nature Switzerland, pp. 527-545. ISBN 9783031308222

Dell'Erba, Daniele, Dumas, Arthur and Schewe, Sven ORCID: 0000-0002-9093-9518 (2023) An Objective Improvement Approach to Solving Discounted Payoff Games. .

Artale, A, Kontchakov, R, Kovtunova, A, Ryzhikov, V, Wolter, F ORCID: 0000-0002-4470-606X and Zakharyaschev, M (2017) Ontology-mediated query answering over temporal data: A survey. .

Mousa, Mahmoud AA, Schewe, Sven ORCID: 0000-0002-9093-9518 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546 (2017) Optimal Control for Multi-Mode Systems with Discrete Costs. .

Mousa, Mahmoud AA, Schewe, Sven ORCID: 0000-0002-9093-9518 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546 (2017) Optimal Control for Multi-mode Systems with Discrete Costs. .

Mousa, Mahmoud AA, Schewe, Sven ORCID: 0000-0002-9093-9518 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546 (2016) Optimal Control for Simple Linear Hybrid Systems. In: 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME), 2016-10-17 - 2016-10-19.

Mousa, MA (2018) Optimisation in multi-mode systems. PhD thesis, University of Liverpool.

Fearnley, John, Jain, Sanjay, Schewe, Sven ORCID: 0000-0002-9093-9518, Stephan, Frank and Wojtczak, Dominik ORCID: 0000-0001-5560-0546 (2017) An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space. In: ISSTA '17: International Symposium on Software Testing and Analysis.

Fearnley, John, Jain, Sanjay, Schewe, Sven ORCID: 0000-0002-9093-9518, Stephan, Frank and Wojtczak, Dominik ORCID: 0000-0001-5560-0546 (2017) An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space. CoRR, abs/17.

Fearnley, JS, Jain, Sanjay, De Keijzer, Bart, Schewe, Sven ORCID: 0000-0002-9093-9518, Stephan, Frank and Wojtczak, Dominik K ORCID: 0000-0001-5560-0546 (2019) An Ordered Approach to Solving Parity Games in Quasi-Polynomial Time and Quasi-Linear Space. International Journal on Software Tools for Technology Transfer, 21 (3). pp. 325-349.

Fearnley, JS, Jain, Sanjay, De Keijzer, Bart, Schewe, Sven ORCID: 0000-0002-9093-9518, Stephan, Frank and Wojtczak, Dominik ORCID: 0000-0001-5560-0546 (2019) An Ordered Approach to Solving Parity Games in Quasi-Polynomial Time and Quasi-Linear Space. International Journal on Software Tools for Technology Transfer.

Schewe, Sven ORCID: 0000-0002-9093-9518, Weinert, Alexander and Zimmermann, Martin (2018) Parity Games with Weights. In: Computer Science Logic, 2018-9-4 - 2018-9-7, Birmingham.

Schewe, Sven ORCID: 0000-0002-9093-9518, Weinert, Alexander and Zimmermann, M ORCID: 0000-0002-8038-2453 (2019) Parity Games with Weights. Logical Methods in Computer Science, 15 (03).

Lamprou, Ioannis ORCID: 0000-0001-5337-7336, Martin, Russell ORCID: 0000-0002-7043-503X and Schewe, Sven ORCID: 0000-0002-9093-9518 (2017) Perpetually Dominating Large Grids. ALGORITHMS AND COMPLEXITY (CIAC 2017), 10236. pp. 393-404.

Benerecetti, Massimo, Dell'Erba, Daniele ORCID: 0000-0003-1196-6110, Mogavero, Fabio, Schewe, Sven ORCID: 0000-0002-9093-9518 and Wojtczak, Dominik (2021) Priority Promotion with Parysian Flair. [Preprint]

Husien, Idress and Schewe, Sven ORCID: 0000-0002-9093-9518 (2016) Program Generation Using Simulated Annealing and Model Checking. .

Livesey, Joseph (2023) Propositional Gossip Protocols. PhD thesis, University of Liverpool.

Gupta, Anshul and Schewe, Sven ORCID: 0000-0002-9093-9518 (2014) Quantitative Verification in Rational Environments. In: 2014 21st International Symposium on Temporal Representation and Reasoning. IEEE, pp. 123-131. ISBN 9781479942275

Lehtinen, Karoliina, Parys, Paweł, Schewe, Sven ORCID: 0000-0002-9093-9518 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546 (2022) A Recursive Approach to Solving Parity Games in Quasipolynomial Time. Logical Methods in Computer Science, Volume (1).

Hahn, Ernst Moritz, Perez, Mateo, Schewe, Sven ORCID: 0000-0002-9093-9518, Somenzi, Fabio, Trivedi, Ashutosh and Wojtczak, Dominik ORCID: 0000-0001-5560-0546 (2022) Reinforcement Learning with Guarantees That Hold for Ever. .

Dong, Yi ORCID: 0000-0003-3047-7777, Huang, Wei, Bharti, Vibhav, Cox, Victoria, Banks, Alec, Wang, Sen, Zhao, Xingyu ORCID: 0000-0002-3474-349X, Schewe, Sven ORCID: 0000-0002-9093-9518 and Huang, Xiaowei ORCID: 0000-0001-6267-0366 (2023) Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 22 (3). pp. 1-48.

Faraggi, Alon E ORCID: 0000-0001-7123-6414, Percival, Benjamin, Schewe, Sven ORCID: 0000-0002-9093-9518 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546 (2021) Satisfiability modulo theories and chiral heterotic string vacua with positive cosmological constant. PHYSICS LETTERS B, 816. p. 136187.

Dell'Erba, Daniele, Schewe, Sven ORCID: 0000-0002-9093-9518, Tang, Qiyi ORCID: 0000-0002-9265-3011 and Zhanabekova, Tansholpan (2023) Semantic Flowers for Good-for-Games and Deterministic Automata. Information Processing Letters. p. 106468.

Hahn, Ernst Moritz, Schewe, Sven ORCID: 0000-0002-9093-9518, Turrini, Andrea and Zhang, Lijun (2016) A Simple Algorithm for Solving Qualitative Probabilistic Parity Games. In: Computer Aided Verification: 28th International Conference, CAV 2016, 2016-7-17 - 2016-7-23, Toronto, ON, Canada.

Mayr, Richard, Schewe, Sven ORCID: 0000-0002-9093-9518, Totzke, Patrick ORCID: 0000-0001-5274-8190 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546 (2021) Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2021, 12650. pp. 427-447.

Totzke, Patrick ORCID: 0000-0001-5274-8190, Schewe, Sven ORCID: 0000-0002-9093-9518 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546 (2021) Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP. In: Foundations of Software Science and Computation Structures, 2021-3-27 - 2021-4-1, Luxembourg.

Li, Yong ORCID: 0000-0002-7301-9234, Schewe, Sven ORCID: 0000-0002-9093-9518 and Vardi, Moshe Y (2023) Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata. [Preprint]

Dell'Erba, Daniele ORCID: 0000-0003-1196-6110 and Schewe, Sven ORCID: 0000-0002-9093-9518 (2022) Smaller progress measures and separating automata for parity games. Frontiers in Computer Science, 4.

Schewe, Sven ORCID: 0000-0002-9093-9518 (2017) Solving parity games in big steps. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 84. pp. 243-262.

Schewe, Sven ORCID: 0000-0002-9093-9518, Schneider, Thomas and Wijsen, Jef (2019) Special issue on Temporal Representation and Reasoning (TIME 2017). THEORETICAL COMPUTER SCIENCE, 797. p. 1.

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, pp. 388-400. ISBN 978-3-662-47665-9

Hahn, Ernst Moritz, Schewe, Sven ORCID: 0000-0002-9093-9518, Turrini, Andrea and Zhang, Lijun (2017) Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games. In: Verification, Model Checking, and Abstract Interpretation, 2017-1-15 - 2017-1-17, Paris.

Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Ciobanu, Radu, Mayr, Richard and Totzke, Patrick ORCID: 0000-0001-5274-8190 (2018) Universal Safety for Timed Petri Nets is PSPACE-complete. In: CONCUR 2018, 2018-9-4 - ?, Beijing, China.

Jin, Gaojie, Yi, Xinping ORCID: 0000-0001-5163-2364, Yang, Pengfei, Zhang, Lijun, Schewe, Sven ORCID: 0000-0002-9093-9518 and Huang, Xiaowei (2022) Weight Expansion: A New Perspective on Dropout and Generalization. Transactions on Machine Learning Research.

Li, Yong ORCID: 0000-0002-7301-9234, Schewe, Sven ORCID: 0000-0002-9093-9518 and Tang, Qiyi ORCID: 0000-0002-9265-3011 (2023) A novel family of finite automata for recognizing and learning $ω$-regular languages. [Preprint]

Li, Yong ORCID: 0000-0002-7301-9234, Schewe, Sven and Tang, Qiyi ORCID: 0000-0002-9265-3011 (2023) A novel family of finite automata for recognizing and learning $ω$-regular languages. [Preprint]