@article{BurKvaDoh:2017:914860,
    author = {Oleg Burdakov and Jonas Kvarnstr\"om and Patrick Doherty},
    title = {{Optimal scheduling for replacing perimeter guarding unmanned aerial vehicles}},
    year = {2017},
    journal = {Annals of Operations Research},
    volume = {249},
    number = {1},
    pages = {163--174},
    publisher = {Springer},
    issn = {0254-5330},
    doi = {10.1007/s10479-016-2169-5},
}

@article{NilKvaDoh:2016:860637,
    author = {Mikael Nilsson and Jonas Kvarnstr\"om and Patrick Doherty},
    title = {{Efficient Processing of Simple Temporal Networks with Uncertainty: Algorithms for Dynamic Controllability Verification}},
    year = {2016},
    journal = {Acta Informatica},
    volume = {53},
    number = {6-8},
    pages = {723--752},
    publisher = {Springer Publishing Company},
    issn = {0001-5903},
    doi = {10.1007/s00236-015-0248-8},
}

@article{WarKvaDoh:2016:855938,
    author = {H{\aa}kan Warnquist and Jonas Kvarnstr\"om and Patrick Doherty},
    title = {{A Modeling Framework for Troubleshooting Automotive Systems}},
    year = {2016},
    journal = {Applied Artificial Intelligence},
    volume = {30},
    number = {3},
    pages = {257--296},
    publisher = {Taylor \& Francis},
    issn = {0883-9514},
    doi = {10.1080/08839514.2016.1156955},
    note = {The published article is a shorter version than the version in manuscript form. The status of this article was\ earlier \<em\>Manuscript\</em\>.Funding agencies: Scania CV AB; FFI - Strategic Vehicle Research and Innovation; Excellence Center at Linkoping and Lund in Information Technology (ELLIIT); Research Council (VR) Linnaeus Center CADICS},
}

@article{DohHeiKva:2013:611599,
    author = {Patrick Doherty and Fredrik Heintz and Jonas Kvarnstr\"om},
    title = {{High-level Mission Specification and Planning for Collaborative Unmanned Aircraft Systems using Delegation}},
    year = {2013},
    journal = {Unmanned Systems},
    volume = {1},
    number = {1},
    pages = {75--119},
    publisher = {World Scientific},
    issn = {2301-3850},
    doi = {10.1142/S2301385013500052},
}

@article{HeiKvaDoh:2013:610375,
    author = {Fredrik Heintz and Jonas Kvarnstr\"om and Patrick Doherty},
    title = {{Stream-Based Hierarchical Anchoring}},
    year = {2013},
    journal = {K\"unstliche Intelligenz},
    volume = {27},
    number = {2},
    pages = {119--128},
    publisher = {Springer},
    issn = {0933-1875},
    doi = {10.1007/s13218-013-0239-2},
}

@article{BurDohEtAl:2010:337902,
    author = {Oleg Burdakov and Patrick Doherty and Kaj Holmberg and Jonas Kvarnstr\"om and Per-Magnus Olsson},
    title = {{Relay Positioning for Unmanned Aerial Vehicle Surveillance}},
    year = {2010},
    journal = {The international journal of robotics research},
    volume = {29},
    number = {8},
    pages = {1069--1087},
    publisher = {Sage Publications},
    issn = {0278-3649},
    doi = {10.1177/0278364910369463},
}

@article{HeiKvaDoh:2010:300370,
    author = {Fredrik Heintz and Jonas Kvarnstr\"om and Patrick Doherty},
    title = {{Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing}},
    year = {2010},
    journal = {Advanced Engineering Informatics},
    volume = {24},
    number = {1},
    pages = {14--26},
    publisher = {Elsevier},
    issn = {1474-0346},
    doi = {10.1016/j.aei.2009.08.007},
}

@article{DohKvaHei:2009:249047,
    author = {Patrick Doherty and Jonas Kvarnstr\"om and Fredrik Heintz},
    title = {{A Temporal Logic-based Planning and Execution Monitoring Framework for Unmanned Aircraft Systems}},
    year = {2009},
    journal = {Autonomous Agents and Multi-Agent Systems},
    volume = {19},
    number = {3},
    pages = {332--377},
    publisher = {Springer},
    issn = {1387-2532},
    doi = {10.1007/s10458-009-9079-8},
}

@article{GusKva:2004:267185,
    author = {Joakim Gustafsson and Jonas Kvarnstr\"om},
    title = {{Elaboration tolerance through object-orientation}},
    year = {2004},
    journal = {Artificial Intelligence},
    volume = {153},
    number = {1-2},
    pages = {239--285},
    publisher = {Elsevier},
    issn = {0004-3702},
    doi = {10.1016/j.artint.2003.08.004},
}

@article{KvaMag:2003:269327,
    author = {Jonas Kvarnstr\"om and Martin Magnusson},
    title = {{TALplanner in the Third International Planning Competition: Extensions and control rules}},
    year = {2003},
    journal = {The journal of artificial intelligence research},
    volume = {20},
    pages = {343--377},
    publisher = {AAAI Press},
    issn = {1076-9757},
    doi = {10.1613/jair.1189},
}

@article{DohKva:2001:269228,
    author = {Patrick Doherty and Jonas Kvarnstr\"om},
    title = {{TALPLANNER - A temporal logic-based planner}},
    year = {2001},
    journal = {The AI Magazine},
    volume = {22},
    number = {3},
    pages = {95--102},
    publisher = {AAAI Press},
    issn = {0738-4602},
}

@article{DohKva:2000:262479,
    author = {Patrick Doherty and Jonas Kvarnstr\"om},
    title = {{TALplanner: A temporal logic based forward chaining planner}},
    year = {2000},
    journal = {Annals of Mathematics and Artificial Intelligence},
    volume = {30},
    number = {1-4},
    pages = {119--169},
    publisher = {Springer},
    issn = {1012-2443},
    doi = {10.1023/A:1016619613658},
}

@article{KvaDoh:2000:262473,
    author = {Jonas Kvarnstr\"om and Patrick Doherty},
    title = {{Tackling the qualification problem using fluent dependency constraints}},
    year = {2000},
    journal = {Computational intelligence},
    volume = {16},
    number = {2},
    pages = {169--209},
    publisher = {Blackwell Publishing},
    issn = {0824-7935},
    doi = {10.1111/0824-7935.00111},
}

@article{DohGusEtAl:1998:262481,
    author = {Patrick Doherty and Joakim Gustafsson and Lars Karlsson and Jonas Kvarnstr\"om},
    title = {{(TAL) temporal action logics: Language specification and tutorial}},
    year = {1998},
    journal = {Electronic Transactions on Artifical Intelligence},
    volume = {2},
    number = {3-4},
    pages = {273--306},
    issn = {1403-3534},
}