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
1982015
Active learning for level set estimation
A Gotovos, N Casati, G Hitz, A Krause
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
1132013
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
942015
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
602014
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
552013
Sampling from probabilistic submodular models
A Gotovos
ETH Zurich, 2019
402019
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
Non-monotone adaptive submodular maximization
A Gotovos, A Karbasi, A Krause
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
252015
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
242019
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
Strong log-concavity does not imply log-submodularity
A Gotovos
arXiv preprint arXiv:1910.11544, 2019
12019
Scaling up Continuous-Time Markov Chains Helps Resolve Underspecification
A Gotovos, R Burkholz, J Quackenbush, S Jegelka
arXiv preprint arXiv:2107.02911, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–14