Moshe Y. Vardi

DPSynth usa la programmazione dinamica per sintetizzare funzioni booleani in modo efficiente.

Uno sguardo alla meta-pianificazione per una tecnologia autonoma più sicura.