Thorsten Wißmann
- A New Approach for Active Automata Learning Based on Apartness
2021/07/12 by Frits Vaandrager, Bharat Garhewal, Vaandrager, Frits +5 · 8 citations
Computer Science · #Algorithms and Data Compression #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning and Algorithms #Optimization and Search Problems
- Fast Coalgebraic Bisimilarity Minimization
2022/04/26 by Jules Jacobs, Jacobs, Jules, Thorsten Wißmann +1 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic, programming, and type systems #semigroups and automata theory
- Regular Behaviours with Names
2016/07/26 by Stefan Milius, Lutz Schröder, Milius, Stefan +3 · 1 citation
Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #semigroups and automata theory