Alan Perotti (University of Turin

Identifiers

• name variant Alan Perotti (University of Turin 0.60 · backfill

Papers (1)

1. Runtime Verification Through Forward Chaining cs.LO · 2014 · author #1

Mentions

• 1412.1156 #1 · backfill · confidence 0.70 Alan Perotti (University of Turin

Frequent Coauthors

• Artur d'Avila Garcez (City University London 1 shared papers
• Guido Boella (University of Turin 1 shared papers
• Italy) 1 shared papers
• UK) 1 shared papers