Follow
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
2462015
Active learning for level set estimation
A Gotovos
Eidgenössische Technische Hochschule Zürich, Department of Computer Science,, 2013
1222013
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
1092015
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
692014
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
582013
Sampling from probabilistic submodular models
A Gotovos, H Hassani, A Krause
Advances in Neural Information Processing Systems 28, 2015
322015
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
302019
Non-monotone adaptive submodular maximization
A Gotovos, A Karbasi, A Krause
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
282015
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
262011
On the existence of universal lottery tickets
R Burkholz, N Laha, R Mukherjee, A Gotovos
arXiv preprint arXiv:2111.11146, 2021
62021
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
22011
Scaling up Continuous-Time Markov Chains Helps Resolve Underspecification
A Gotovos, R Burkholz, J Quackenbush, S Jegelka
Advances in Neural Information Processing Systems 34, 14580-14592, 2021
12021
Strong log-concavity does not imply log-submodularity
A Gotovos
arXiv preprint arXiv:1910.11544, 2019
12019
The system can't perform the operation now. Try again later.
Articles 1–15