Alkis Gotovos
Cited by
Cited by
Safe exploration for optimization with Gaussian processes
Y Sui, A Gotovos, J Burdick, A Krause
International conference on machine learning, 997-1005, 2015
Active learning for level set estimation
A Gotovos
Eidgenössische Technische Hochschule Zürich, Department of Computer Science,, 2013
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
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
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
Non-Monotone Adaptive Submodular Maximization.
A Gotovos, A Karbasi, A Krause
IJCAI, 1996-2003, 2015
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
Sampling from probabilistic submodular models
A Gotovos, H Hassani, A Krause
Advances in Neural Information Processing Systems 28, 2015
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
On the existence of universal lottery tickets
R Burkholz, N Laha, R Mukherjee, A Gotovos
arXiv preprint arXiv:2111.11146, 2021
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
Discrete sampling using semigradient-based product mixtures
A Gotovos, H Hassani, A Krause, S Jegelka
arXiv preprint arXiv:1807.01808, 2018
Dynamic systematic testing of concurrent Erlang programs
AS Gotovos
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
Strong log-concavity does not imply log-submodularity
A Gotovos
arXiv preprint arXiv:1910.11544, 2019
The system can't perform the operation now. Try again later.
Articles 1–15