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
- Elements of Timed Pattern Matching, FORMATS (2014)
- Online Monitoring of Metric Temporal Logic using Sequential Networks, Computing Research Repository (2019)
- Reactive Control Meets Runtime Verification: A Case Study of Navigation, Computing Research Repository (2019)