10 citations · 10 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2020
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…
cs.LO2017★ 10 cited
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…