10 citations · 10 across the 2 of their papers we have counts for
3 papers
On Uniformly Sampling Traces of a Transition System (Extended Version)
Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi
A key problem in constrained random verification (CRV) concerns generation of input stimuli that result in good coverage of the system's runs in targeted corners of its behavior sp…
On Symbolic Approaches for Computing the Matrix Permanent
Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi
Counting the number of perfect matchings in bipartite graphs, or equivalently computing the permanent of 0-1 matrices, is an important combinatorial problem that has been extensive…
On Hashing-Based Approaches to Approximate DNF-Counting
Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
Propositional model counting is a fundamental problem in artificial intelligence with a wide variety of applications, such as probabilistic inference, decision making under uncerta…