Theoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings - Seidl, Helmut; Liu, Zhiming; Pasareanu, Corina S. (Cham Springer International Publishing AG, 2022)