arrow
Back
P

Paolo Felli

University of Bologna

14H-index
73Paper Count
761Citation Count
Published Papers 5
Publication Date
Data-aware conformance checking with SMT
err2023-07-01
err7
errOAAI
errFelli, Paolo; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey; Winkler, Sarah
errShare
errSave
Situation calculus for controller synthesis in manufacturing systems with first-order state representation
err2022-01-01
err4
errOAAI
errDe Giacomo, Giuseppe; Felli, Paolo; Logan, Brian; Patrizi, Fabio; Sardina, Sebastian
errShare
errSave
Efficient multi-agent epistemic planning: Teaching planners about nested belief
err2022-01-01
err12
errOAAI
errMuise, Christian; Belle, Vaishak; Felli, Paolo; McIlraith, Sheila; Miller, Tim; Pearce, Adrian R.; Sonenberg, Liz
errShare
errSave
Synthesising process controllers from formal models of transformable assembly systems
err2019-08-01
err7
errOAAI
errde Silva, Lavindra; Felli, Paolo; Sanderson, David; Chaplin, Jack C.; Logan, Brian; Ratchev, Svetan
errShare
errSave
Supervisory Control for Behavior Composition
err2017-02-01
err9
errOAAI
errFelli, Paolo; Yadav, Nitin; Sardina, Sebastian
errShare
errSave