12 citations · 43 across the 22 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 3 cited
Approximate Counting in SMT and Value Estimation for Probabilistic Programs
Dmitry Chistikov, Rayna Dimitrova, Rupak Majumdar
#SMT, or model counting for logical theories, is a well-known hard problem that generalizes such tasks as counting the number of satisfying assignments to a Boolean formula and com…
eess.SY2014
Abstractions and sensor design in partial-information, reactive controller synthesis
Jie Fu, Rayna Dimitrova, Ufuk Topcu
Automated synthesis of reactive control protocols from temporal logic specifications has recently attracted considerable attention in various applications in, for example, robotic…