Framework for Model-Based Design and Verification of Human-in-the-Loop Cyber-Physical Systems.

Filip Cuckov, Grant Rudd, Liam Daly

Browse the full ICST paper archive.