Conference papers

    Scaling Up Continuous-Time Markov Chains Helps Resolve Underspecification
    Alkis Gotovos, Rebekka Burkholz, John Quackenbush, and Stefanie Jegelka
    Neural Information Processing Systems (NeurIPS), 2021
    Fast Gaussian Process based Gradient Matching for Parameter Identification in Systems of Nonlinear ODEs
    Philippe Wenk, Alkis Gotovos, Stefan Bauer, Nico S. Gorbach, Andreas Krause, and Joachim M. Buhmann
    International Conference on Artificial Intelligence and Statistics (AISTATS), 2019
    Discrete Sampling using Semigradient-based Product Mixtures
    Alkis Gotovos, Hamed Hassani, Andreas Krause, and Stefanie Jegelka
    Conference on Uncertainty in Artificial Intelligence (UAI), 2018
    Sampling from Probabilistic Submodular Models
    Alkis Gotovos, Hamed Hassani, and Andreas Krause
    Neural Information Processing Systems (NeurIPS), 2015
    Safe Exploration for Optimization with Gaussian Processes
    Yanan Sui, Alkis Gotovos, Joel W. Burdick, and Andreas Krause
    International Conference on Machine Learning (ICML), 2015
    Non-monotone Adaptive Submodular Maximization
    Alkis Gotovos, Amin Karbasi, and Andreas Krause
    International Joint Conference on Artificial Intelligence (IJCAI), 2015
    Efficient Visual Exploration and Coverage with a Micro Aerial Vehicle in Unknown Environments
    Lionel Heng, Alkis Gotovos, Andreas Krause, and Marc Pollefeys
    International Conference on Robotics and Automation (ICRA), 2015
    Fully Autonomous Focused Exploration for Robotic Environmental Monitoring
    Gregory Hitz, Alkis Gotovos, Francois Pomerleau, Marie-Eve Garneau, Cedric Pradalier, Andreas Krause, and Roland Y. Siegwart
    International Conference on Robotics and Automation (ICRA), 2014
    Active Learning for Level Set Estimation
    Alkis Gotovos, Nathalie Casati, Gregory Hitz, and Andreas Krause
    International Joint Conference on Artificial Intelligence (IJCAI), 2013
    Systematic Testing for Detecting Concurrency Errors in Erlang Programs
    Maria Christakis, Alkis Gotovos, and Konstantinos Sagonas
    International Conference on Software Testing, Verification and Validation (ICST), 2013

Preprints

    On the Existence of Universal Lottery Tickets
    Rebekka Burkholz, Nilanjana Laha, Rajarshi Mukherjee, and Alkis Gotovos
    arXiv, 2021
    Strong Log-Concavity Does Not Imply Log-Submodularity
    Alkis Gotovos
    arXiv, 2019

Workshop papers

    Test-driven Development of Concurrent Programs using Concuerror
    Alkis Gotovos, Maria Christakis, and Konstantinos Sagonas
    ACM SIGPLAN Erlang Workshop, 2011

Dissertations

    Sampling from Probabilistic Submodular Models
    Alkis Gotovos
    PhD thesis
    ETH Zurich, 2019
    Active Learning for Level Set Estimation
    Alkis Gotovos
    MSc thesis
    ETH Zurich, 2013
    Dynamic Systematic Testing of Concurrent Erlang Programs
    Alkis Gotovos
    Diploma thesis
    National Technical University of Athens, 2011