Moshe Y. Vardi

DPSynth utilise la programmation dynamique pour synthétiser les fonctions booléennes de manière efficace.

Un aperçu de la méta-planification pour des technologies autonomes plus sûres.