Modelli e metodi per la verifica dei sistemi multi-agente tramite model checking

in-depth analysis project

Author

Outcome

Tags: MAS verification model checking linear temporal logic computation tree logic

Courses

— a.y.

2009/2010

— credits

— cycle

2nd cycle

— language

Teachers

— professor

— tutors

Context

— university

Alma Mater Studiorum-Università di Bologna

— campus

Cesena

— department / faculty / school

Ingegneria CE (0031)

— 2nd cycle

0651 Ingegneria elettronica e delle telecomunicazioni

URLs & IDs

— course ID

20474