Alessandro Pinto
Alessandro Pinto
Home
Experience
Projects
Publications
Contact
Light
Dark
Automatic
6
Survey of Human Models for Verification of Human-Machine Systems
We survey the landscape of human operator mod- eling ranging from the early cognitive models developed in artificial intelligence to …
Timothy Wang
,
Alessandro Pinto
PDF
Cite
Analysis and Design of Uncertain Cyber-Physical Systems
Several sources of uncertainty have to be taken into account in the analysis and design of CPS. The set of parameters used in the model …
Alessandro Pinto
PDF
Cite
Cite
×