research
∙
11/04/2020
Probabilistic Bisimulation for Parameterized Systems (Technical Report)
Probabilistic bisimulation is a fundamental notion of process equivalenc...
share
research
∙
09/28/2020
Parameterized Synthesis with Safety Properties
Parameterized synthesis offers a solution to the problem of constructing...
research
∙
12/07/2018
CSS Minification via Constraint Solving (Technical Report)
Minification is a widely-accepted technique which aims at reducing the s...
research
∙
09/21/2017