21 citations · 22 across the 2 of their papers we have counts for
2 papers
cs.PL2022★ 21 cited
Little Tricky Logic: Misconceptions in the Understanding of LTL
Ben Greenman, Sam Saarinen, Tim Nelson +1
Context: Linear Temporal Logic (LTL) has been used widely in verification. Its importance and popularity have only grown with the revival of temporal logic synthesis, and with new…
cs.CY2018★ 1 cited
Personalized Education at Scale
Sam Saarinen, Evan Cater, Michael Littman
Tailoring the presentation of information to the needs of individual students leads to massive gains in student outcomes~\cite{bloom19842}. This finding is likely due to the fact t…