Active Inference of Formal Models using Simulations

Potential supervisors: 
Description: 

 

For details please see the file below.

Date range: 
December, 2018 to December, 2023