papers
Publications (5)
cs.LG2019
An Inductive Synthesis Framework for Verifiable Reinforcement Learning
He Zhu, Zikang Xiong, Stephen Magill +1
physics.ins-det2018
Photoelectron Yields of Scintillation Counters with Embedded Wavelength-Shifting Fibers Read Out With Silicon Photomultipliers
Akram Artikov, Vladimir Baranov, Gerald C. Blazey +21
cs.LO2015
Refining Existential Properties in Separation Logic Analyses
Matko BotinÄan, Mike Dodds, Stephen Magill
hep-ph2002
Summary: Working Group on QCD and Strong Interactions
E. L. Berger, Stephen Magill, I. Sarcevic +19
cs.PL2018
What's the Over/Under? Probabilistic Bounds on Information Leakage
Ian Sweet, Jose Manuel Calderon Trilla, Chad Scherrer +2