(1)
Vardi, M. From Automated Veriļ¬cation to Automated Design. ICAPS 2021, 20, 271-272.