Wißmann, Thorsten
- A New Approach for Active Automata Learning Based on Apartness
2021/07/12 by Frits Vaandrager, Vaandrager, Frits, Bharat Garhewal +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
- Nominal Automata with Name Binding
2016/03/04 by Schröder, Lutz, Kozen, Dexter, Milius, Stefan +1 · 1 citation
#F.1.1 #F.4.3 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)
- 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
- Bisimilar States in Uncertain Structures
2023/03/27 by Rot, Jurriaan, Wißmann, Thorsten · 1 citation
#Discrete Mathematics (cs.DM) #FOS: Computer and information sciences
- 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
- A New Foundation for Finitary Corecursion and Iterative Algebras
2018/02/21 by Milius, Stefan, Pattinson, Dirk, Wißmann, Thorsten · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Action Codes
2022/12/31 by Vaandrager, Frits, Wißmann, Thorsten · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Information Theory (cs.IT)