System-Level Design Group

KU Institute for Information Sciences

VOLTA Selected

Adventium has been informed that our proposal Vulnerabilities Out of Learned Timed Automata (VOLTA) bas been selected for funding by The Air Force Research Laboratory. We will be using our Copland infrastructure to discover properties of timed automata through measurement. Great news that we will be working with Adventium again.