Amanda Burton

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 1

Top Topics

Learning Community

Information Management

Learning Problems

Top Venues

Publications

Matteo Turchetta, Luca Corinzia, Scott Sussex, Amanda Burton, Juan Herrera, Ioannis Athanasiadis, Joachim M. Buhmann, Andreas Krause
Learning Long-Term Crop Management Strategies with CyclesGym. NeurIPS (2022)
Evan Driscoll, Amanda Burton, Thomas W. Reps
Checking conformance of a producer and a consumer. SIGSOFT FSE (2011)
Aditya V. Thakur, Junghee Lim, Akash Lal, Amanda Burton, Evan Driscoll, Matt Elder, Tycho Andersen, Thomas W. Reps
Directed Proof Generation for Machine Code. CAV (2010)