Learning Deterministic Automata on Infinite Words

von Michaliszyn, Jakub
Veröffentlicht in European Conference on Artificial Intelligence (24. : 2020 : Online) ECAI 2020 ; Part 4 (2020)

Deterministic Weighted Automata Under Partial Observability

von Michaliszyn, Jakub
Veröffentlicht in JELIA (18. : 2023 : Dresden) Logics in artificial intelligence (2023)

“Most of” Leads to Undecidability: Failure of Adding Frequencies to LTL

von Bednarczyk, Bartosz
Veröffentlicht in FOSSACS (24. : 2021 : Online) Foundations of software science and computation structures (2021)