Document is current
Any future updates will be listed below
-
Authors
Duret-Lutz, Alexandre https://orcid.org/0000-0002-6623-2512
Zhu, Shufang https://orcid.org/0000-0002-5922-8750
Piterman, Nir https://orcid.org/0000-0002-8242-5357
De Giacomo, Giuseppe https://orcid.org/0000-0001-9680-7658
Vardi, Moshe Y. https://orcid.org/0000-0002-0661-5773
- License Information
-
More Information
Chapter History
First Online: 23 August 2025
Conference Information
Conference Acronym: CIAA
Conference Name: International Conference on Implementation and Application of Automata
Conference City: Palermo
Conference Country: Italy
Conference Year: 2025
Conference Start Date: 22 September 2025
Conference End Date: 25 September 2025
Conference Number: 29
Conference ID: wia2025
Conference URL: https://ciaa2025.unipa.it
