Abstract: Barrier certificate generation is an ingenious and powerful approach for safety verification of cyber-physical systems. This article suggests a new learning and verification framework that ...

Abstract: During the last decade, possibilities to realize new phenomena and create new applications by varying system properties in time have gained increasing attention in many research fields.

📺 Source code with tasks from my "Write your own tiny programming system(s)!" course at Charles University. Follow the link below to watch the course online!