Login / Signup
Tyler Dohrn
Publication Activity (10 Years)
Years Active: 2017-2020
Publications (10 Years): 2
Top Topics
Metadata
Mobile Devices
Power Consumption
Evolutionary Algorithm
Top Venues
ALT
Theor. Comput. Sci.
</>
Publications
</>
Dana Angluin
,
Tyler Dohrn
The power of random counterexamples.
Theor. Comput. Sci.
808 (2020)
Dana Angluin
,
Tyler Dohrn
The Power of Random Counterexamples.
ALT
(2017)