research
∙
06/04/2023
Towards Efficient Controller Synthesis Techniques for Logical LTL Games
Two-player games are a fruitful way to represent and reason about severa...
share
research
∙
07/08/2021
GenSys: A Scalable Fixed-point Engine for Maximal Controller Synthesis over Infinite State Spaces
The synthesis of maximally-permissive controllers in infinite-state syst...
research
∙
04/21/2021
HDR-Fuzz: Detecting Buffer Overruns using AddressSanitizer Instrumentation and Fuzzing
Buffer-overruns are a prevalent vulnerability in software libraries and ...
research
∙
01/25/2021
Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains
Asynchronous message-passing systems are employed frequently to implemen...
research
∙
02/14/2019
