Moshe Vardi
From Automated Verification to Automated Design
invited talk
Categories
ICAPSInternational Conference on Automated Planning and Scheduling
ICAPS
Moshe Vardi
From Automated Verification to Automated Design
invited talk