Second visit of Prof. Zhiming Liu's team at York
From July 22nd, 2019 to July 23rd, 2019
Agenda:
Monday talks:
- Xia Zeng: Universal adversary example generation
- Liyun: Model Checking Problem of Timed Systems by Incremental Method
- Hengjun: Hybrid System Verification and Synthesis
- Wei Zhang: Contract Model of SimuLink
- Zhiming Liu: Engineering Formal Method
Tuesday talks
- Randall: Verification of the probabilistic behaviour of RoboChart by PRISM
- Alvaro: RoboChart
- Will: Using RoboChart to model an autonomous vehicle
- Ana: Physical modelling in RoboSim
- Jim: Verifying a robotic pose estimation algorithm
Kangfeng (Randall) Ye
Research Associate (Computer Science)
My research interests include probabilistic modelling and verification using formal specification and verification (both model checking and theorem proving) and model-based engineering.