research
∙
08/12/2020
On Uniformly Sampling Traces of a Transition System (Extended Version)
A key problem in constrained random verification (CRV) concerns generati...
share
research
∙
08/08/2019
On Symbolic Approaches for Computing the Matrix Permanent
Counting the number of perfect matchings in bipartite graphs, or equival...
research
∙
10/14/2017
