Vol-2537⫷ Vol-2538 ⫸Vol-2539
urn:nbn:de:0074-2538-0


Vol-2538/organisation⫷Vol-2538/paper1⫸Vol-2538/paper2

Generating T1DM Virtual Patients for In Silico Clinical Trials via AI-Guided Statistical Model Checking