Alkis Gotovos
Alkis Gotovos
MIT CSAIL
Verified email at mit.edu - Homepage
Title
Cited by
Cited by
Year
Safe exploration for optimization with Gaussian processes
Y Sui, A Gotovos, J Burdick, A Krause
International Conference on Machine Learning, 997-1005, 2015
1782015
Active learning for level set estimation
A Gotovos, N Casati, G Hitz, A Krause
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
1072013
Efficient visual exploration and coverage with a micro aerial vehicle in unknown environments
L Heng, A Gotovos, A Krause, M Pollefeys
2015 IEEE International Conference on Robotics and Automation (ICRA), 1071-1078, 2015
852015
Fully autonomous focused exploration for robotic environmental monitoring
G Hitz, A Gotovos, MÉ Garneau, C Pradalier, A Krause, RY Siegwart
2014 IEEE International Conference on Robotics and Automation (ICRA), 2658-2664, 2014
552014
Systematic testing for detecting concurrency errors in Erlang programs
M Christakis, A Gotovos, K Sagonas
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
532013
Sampling from probabilistic submodular models
A Gotovos
ETH Zurich, 2019
382019
Test-driven development of concurrent programs using Concuerror
A Gotovos, M Christakis, K Sagonas
Proceedings of the 10th ACM SIGPLAN Workshop on Erlang, 51-61, 2011
282011
Fast Gaussian process based gradient matching for parameter identification in systems of nonlinear ODEs
P Wenk, A Gotovos, S Bauer, NS Gorbach, A Krause, JM Buhmann
The 22nd International Conference on Artificial Intelligence and Statistics …, 2019
202019
Non-Monotone Adaptive Submodular Maximization.
A Gotovos, A Karbasi, A Krause
IJCAI, 1996-2003, 2015
202015
Discrete sampling using semigradient-based product mixtures
A Gotovos, H Hassani, A Krause, S Jegelka
arXiv preprint arXiv:1807.01808, 2018
32018
Fast detection of novel problematic patterns based on dictionary learning and boundary detection of failure regions
F de Morsier, C Nathalie, D DeMaris, M Gabrani, A Gotovos, A Krause
SPIE Advanced Lithography 2014, 2014
3*2014
Dynamic systematic testing of concurrent Erlang programs
AS Gotovos
32011
The system can't perform the operation now. Try again later.
Articles 1–12