Latest News / May ‘24 / The Autoware Challenge 2024 will start in only a few days!

Boğaziçi University

Property-based testing and beyond for autonomous systems

Abstracting test specifications (=properties) and scenario generation and adversarial testing using properties.

Doğan Ulus

Boğaziçi University

Center of Excellence Director

Ongoing Research

  • Methods & tools to specify abstract test specifications for complex autonomous systems
  • Methods & tools to verify abstract test specifications in simulation and scenario-based testing of AVs

Selected Publications