| Affiliation of the corresponding author | Institute of Computer Science, Czech Academy of Sciences |
|---|---|
| Keywords | Lyapunov functions, barrier certificates, formal verification, machine learning |
| Preferred type of presentation | Oral |
| Are you a member of COST Action CA24136? | Yes, I am a member of COST Action CA24136. |
| Are you applying for reimbursement? | No, I am not applying for reimbursement |
Author
Stefan Ratschan
(Institute of Computer Science, Czech Academy of Sciences)
