169 citations · 228 across the 13 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023★ 1 cited
Satisfiability.jl: Satisfiability Modulo Theories in Julia
Emiko Soroka, Mykel J. Kochenderfer, Sanjay Lall
Satisfiability modulo theories (SMT) is a core tool in formal verification. While the SMT-LIB specification language can be used to interact with theorem proving software, a high-l…
stat.AP2023
Optimal Dorfman Group Testing for Symmetric Distributions
Nicholas C. Landolfi, Sanjay Lall
We study Dorfman's classical group testing protocol in a novel setting where individual specimen statuses are modeled as exchangeable random variables. We are motivated by infectio…