skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento
 

Checking Safety Proprieties through Simulation and Heuristic Search

De Francesco, N., G. Lettieri, A. Santone, and G. Vaglini, "Checking Safety Proprieties through Simulation and Heuristic Search", International Conference on Artificial Intelligence, USA, pp. 433 - 439, 2013.