@techreport{BurDohKva:2014:739489,
    author = {Oleg Burdakov and Patrick Doherty and Jonas Kvarnstr\"om},
    title = {{Optimal Scheduling for Replacing Perimeter Guarding Unmanned Aerial Vehicles}},
    year = {2014},
    series = {LiTH-MAT-R},
    volume = {2014:09},
    publisher = {Link\"oping University Electronic Press},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    issn = {0348-2960},
}

@techreport{BurDohKva:2014:739485,
    author = {Oleg Burdakov and Patrick Doherty and Jonas Kvarnstr\"om},
    title = {{Local Search for Hop-constrained Directed Steiner Tree Problem with Application to UAV-based Multi-target Surveillance}},
    year = {2014},
    series = {LiTH-MAT-R},
    volume = {2014:10},
    publisher = {Link\"oping University Electronic Press},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    issn = {0348-2960},
}

@proceedings{HeiKva:2009:246141,
    author = {Fredrik Heintz and Jonas Kvarnstr\"om},
    title = {{Proceedings of the Swedish AI Society Workshop 2009}},
    year = {2009},
    series = {Link\"oping Electronic Conference Proceedings},
    volume = {35},
    publisher = {Link\"oping University Electronic Press, Link\"opings universitet},
    issn = {1650-3686},
}

@techreport{DohGusEtAl:1998:1716288,
    author = {Patrick Doherty and Joakim Gustafsson and Lars Karlsson and Jonas Kvarnstr\"om},
    title = {{TAL: Temporal Action Logics Language \<\> Specification and Tutorial}},
    year = {1998},
    series = {Link\"oping Electronic Articles in Computer and Information Science},
    volume = {Vol.3:15},
    publisher = {Link\"oping University Electronic Press},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    issn = {1401-9841},
}

@techreport{DohKva:1997:1714459,
    author = {Patrick Doherty and Jonas Kvarnstr\"om},
    title = {{Tackling the Qualification Problem using Fluent Dependency Constraints: Preliminary Report}},
    year = {1997},
    series = {Link\"oping Electronic Articles in Computer and Information Science},
    volume = {Vol.2:16},
    publisher = {Link\"oping University Electronic Press},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    issn = {1401-9841},
}