@phdthesis{Prn:2024:1852593,
    author = {Fredrik Pr\"antare},
    title = {{Dividing the Indivisible: Algorithms, Empirical Advances, and Complexity Results for Value-Maximizing Combinatorial Assignment Problems}},
    year = {2024},
    series = {Link\"oping Studies in Science and Technology. Dissertations},
    volume = {2382},
    publisher = {Link\"oping University Electronic Press},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {9789180756006, 9789180756013},
    issn = {0345-7524},
    note = {\<strong\>Funding:\</strong\> MIRAI; the Wallenberg AI, Autonomous Systems and Software Program; and the Knut and Alice Wallenberg Foundation.},
}

@phdthesis{Kun:2024:1848043,
    author = {Jenny Kunz},
    title = {{Understanding Large Language Models: Towards Rigorous and Targeted Interpretability Using Probing Classifiers and Self-Rationalisation}},
    year = {2024},
    series = {Link\"oping Studies in Science and Technology. Dissertations},
    volume = {2364},
    publisher = {Link\"oping University Electronic Press},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {9789180754705, 9789180754712},
    issn = {0345-7524},
    doi = {10.3384/9789180754712},
}

@phdthesis{Kll:2023:1809077,
    author = {Johan K\"allstr\"om},
    title = {{Reinforcement Learning for Improved Utility of Simulation-Based Training}},
    year = {2023},
    series = {Link\"oping Studies in Science and Technology. Dissertations},
    volume = {2351},
    publisher = {Link\"oping University Electronic Press},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {9789180753661, 9789180753678},
    issn = {0345-7524},
    doi = {10.3384/9789180753678},
    note = {\<strong\>2023-11-02:\</strong\> The thesis was first published online. The online published version reflects the printed version.\<strong\>2023-11-15: \</strong\>The PDF-file has been replaced by a new file from LiU-Print to enable speech-to-text functionality and to allow text copying. Before this date the PDF has been downloaded 40 times.\<strong\>Funding: \</strong\>This work was partially supported by the Swedish Governmental Agency for Innovation Systems (grant NFFP7/2017-04885), and the Wallenberg Artificial Intelligence, Autonomous Systems and Software Program (WASP) funded by the Knut and Alice Wallenberg Foundation. The computations were enabled by the resources provided by the Swedish National Infrastructure for Computing (SNIC) at Tetralith/NSC partially funded by the Swedish Research Council through grant agreement no. 2020/5-230, as well as the supercomputing resource Berzelius provided by the National Supercomputer Centre at Link\Ã\¶ping University and the Knut and Alice Wallenberg foundation.},
}

@phdthesis{Wzo:2023:1759211,
    author = {Mariusz Wzorek},
    title = {{Selected Functionalities for Autonomous Intelligent Systems in Public Safety Scenarios}},
    year = {2023},
    series = {Link\"oping Studies in Science and Technology. Dissertations},
    volume = {2322},
    publisher = {Link\"oping University Electronic Press},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {9789180751957, 9789180751964},
    issn = {0345-7524},
    doi = {10.3384/9789180751964},
    note = {\<strong\>Funding: \</strong\>This work has been supported by the ELLIIT Network Organization for Information and Communication Technology, Sweden (Project B09), and Wallenberg AI, Autonomous Systems and Software Program (WASP) funded by the Knut and Alice Wallenberg Foundation, in addi\�tion to the sources already acknowledged in the individual papers.},
}

@phdthesis{Str:2023:1732002,
    author = {Filip Str\"omb\"ack},
    title = {{Teaching and Learning Concurrent Programming in the Shared Memory Model}},
    year = {2023},
    series = {Link\"oping Studies in Science and Technology. Dissertations},
    volume = {2280},
    publisher = {Link\"oping University Electronic Press},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {9789180750004, 9789180750011},
    issn = {0345-7524},
    doi = {10.3384/9789180750011},
    note = {\<strong\>Funding agencies: \</strong\>The work in this thesis is partly funded by the Graduate School in Computer Science (CUGS).},
}

@phdthesis{Tig:2022:1710871,
    author = {Mattias Tiger},
    title = {{Safety-Aware Autonomous Systems: Preparing Robots for Life in the Real World}},
    year = {2022},
    series = {Link\"oping Studies in Science and Technology. Dissertations},
    volume = {2262},
    publisher = {Link\"oping University Electronic Press},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {9789179295011, 9789179295028},
    issn = {0345-7524},
    doi = {10.3384/9789179295028},
}

@phdthesis{And:2020:1417201,
    author = {Olov Andersson},
    title = {{Learning to Make Safe Real-Time Decisions Under Uncertainty for Autonomous Robots}},
    year = {2020},
    series = {Link\"oping Studies in Science and Technology. Dissertations},
    volume = {2051},
    publisher = {Link\"oping University Electronic Press},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {9789179298890},
    issn = {0345-7524},
    doi = {10.3384/diss.diva-163419},
}

@phdthesis{deL:2019:1367625,
    author = {Daniel de Leng},
    title = {{Robust Stream Reasoning Under Uncertainty}},
    year = {2019},
    series = {Link\"oping Studies in Science and Technology. Dissertations},
    volume = {2006},
    publisher = {Link\"oping University Electronic Press},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {9789176850138},
    issn = {0345-7524},
    doi = {10.3384/diss.diva-157633},
}

@phdthesis{deL:2017:1139231,
    author = {Daniel de Leng},
    title = {{Spatio-Temporal Stream Reasoning with Adaptive State Stream Generation}},
    year = {2017},
    type = {Licentiate Thesis},
    series = {Link\"oping Studies in Science and Technology. Thesis},
    volume = {1783},
    publisher = {Link\"oping University Electronic Press},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {9789176854761},
    issn = {0280-7971},
    doi = {10.3384/lic.diva-138645},
    note = {The series name \<em\>Link\Ã\¶ping Studies in Science and Technology Licentiate Thesis\</em\> is inocorrect. The correct series name is\Â\ \<em\>Link\Ã\¶ping Studies in Science and Technology Thesis\</em\>.},
}

@phdthesis{And:2017:1133724,
    author = {Olov Andersson},
    title = {{Methods for Scalable and Safe Robot Learning}},
    year = {2017},
    type = {Licentiate Thesis},
    series = {Link\"oping Studies in Science and Technology. Thesis},
    volume = {1780},
    publisher = {Link\"oping University Electronic Press},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {9789176854907},
    issn = {0280-7971},
    doi = {10.3384/lic.diva-138398},
}

@phdthesis{War:2015:856040,
    author = {H{\aa}kan Warnquist},
    title = {{Troubleshooting Trucks: Automated Planning and Diagnosis}},
    year = {2015},
    series = {Link\"oping Studies in Science and Technology. Dissertations},
    volume = {1691},
    publisher = {Link\"oping University Electronic Press},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {978-91-7685-993-3},
    issn = {0345-7524},
    doi = {10.3384/diss.diva-119445},
}

@phdthesis{Nil:2015:847532,
    author = {Mikael Nilsson},
    title = {{Efficient Temporal Reasoning with Uncertainty}},
    year = {2015},
    type = {Licentiate Thesis},
    series = {Link\"oping Studies in Science and Technology. Thesis},
    volume = {1722},
    publisher = {Link\"oping University Electronic Press},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {9789176859919},
    issn = {0280-7971},
    doi = {10.3384/lic.diva-119409},
}

@phdthesis{Rud:2011:450766,
    author = {Piotr Rudol},
    title = {{Increasing Autonomy of Unmanned Aircraft Systems Through the Use of Imaging Sensors}},
    year = {2011},
    type = {Licentiate Thesis},
    series = {Link\"oping Studies in Science and Technology. Thesis},
    volume = {1510},
    publisher = {Link\"oping University Electronic Press},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {9789173930345},
    issn = {0280-7971},
}

@phdthesis{Wzo:2011:447052,
    author = {Mariusz Wzorek},
    title = {{Selected Aspects of Navigation and Path Planning in Unmanned Aircraft Systems}},
    year = {2011},
    type = {Licentiate Thesis},
    series = {Link\"oping Studies in Science and Technology. Thesis},
    volume = {1509},
    publisher = {Link\"oping University Electronic Press},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {9789173930376},
    issn = {0280-7971},
}

@phdthesis{Lan:2011:444066,
    author = {David Land\'en},
    title = {{Complex Task Allocation for Delegation: From Theory to Practice}},
    year = {2011},
    type = {Licentiate Thesis},
    series = {Link\"oping Studies in Science and Technology. Thesis},
    volume = {1506},
    publisher = {Link\"oping University Electronic Press},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {9789173930482},
    issn = {0280-7971},
}

@phdthesis{War:2011:411037,
    author = {H{\aa}kan Warnquist},
    title = {{Computer-Assisted Troubleshooting for Efficient Off-board Diagnosis}},
    year = {2011},
    type = {Licentiate Thesis},
    series = {Link\"oping Studies in Science and Technology. Thesis},
    volume = {1490},
    publisher = {Link\"oping University Electronic Press},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {9789173931519},
    issn = {0280-7971},
}

@phdthesis{Ols:2011:406913,
    author = {Per-Magnus Olsson},
    title = {{Positioning Algorithms for Surveillance Using Unmanned Aerial Vehicles}},
    year = {2011},
    type = {Licentiate Thesis},
    series = {Link\"oping Studies in Science and Technology. Thesis},
    volume = {1476},
    publisher = {Link\"oping University Electronic Press},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {9789173932004},
    issn = {0280-7971},
}

@phdthesis{Ber:2009:472088,
    author = {Cyrille Berger},
    title = {{Perception de la g\'eom\'etrie de l'environment pour la navigation autonome}},
    year = {2009},
    publisher = {Universit\'e de Toulouse},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
}

@phdthesis{Con:2009:214103,
    author = {Gianpaolo Conte},
    title = {{Vision-Based Localization and Guidance for Unmanned Aerial Vehicles}},
    year = {2009},
    series = {Link\"oping Studies in Science and Technology. Dissertations},
    volume = {1260},
    publisher = {Link\"oping University Electronic Press},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {978-91-7393-603-3},
    issn = {0345-7524},
}

@phdthesis{Hei:2009:159661,
    author = {Fredrik Heintz},
    title = {{DyKnow: A Stream-Based Knowledge Processing Middleware Framework}},
    year = {2009},
    series = {Link\"oping Studies in Science and Technology. Dissertations},
    volume = {1240},
    publisher = {Link\"oping University Electronic Press},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {9789173936965},
    issn = {0345-7524},
}

@phdthesis{Nyb:2008:18308,
    author = {Per Nyblom},
    title = {{Dynamic Abstraction for Interleaved Task Planning and Execution}},
    year = {2008},
    type = {Licentiate Thesis},
    series = {Link\"oping Studies in Science and Technology. Thesis},
    volume = {1363},
    publisher = {Institutionen f\"or datavetenskap},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {9789173939058},
    issn = {0280-7971},
    note = {Report code: LiU-Tek-Lic-2008:21.},
}

@phdthesis{Ste:2008:97,
    author = {Heike Joe Steinhauer},
    title = {{A Representation Scheme for Description and Reconstruction of Object Configurations Based on Qualitative Relations}},
    year = {2008},
    series = {Link\"oping Studies in Science and Technology. Dissertations},
    volume = {1204},
    publisher = {Link\"oping University Electronic Press},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {978-91-7393-823-5},
    issn = {0345-7524},
}

@phdthesis{Hgg:2007:258746,
    author = {Bj\"orn H\"agglund},
    title = {{A framework for designing constraint stores}},
    year = {2007},
    type = {Licentiate Thesis},
    series = {Link\"oping Studies in Science and Technology. Thesis},
    volume = {1302},
    publisher = {Link\"opings universitet},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {9789185715701},
    issn = {0280-7971},
}

@phdthesis{Con:2007:242149,
    author = {Gianpaolo Conte},
    title = {{Navigation Functionalities for an Autonomous UAV Helicopter}},
    year = {2007},
    type = {Licentiate Thesis},
    series = {Link\"oping Studies in Science and Technology. Thesis},
    volume = {1307},
    publisher = {Link\"oping University Electronic Press},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {9789185715350},
    issn = {0280-7971},
}

@phdthesis{Mag:2007:24113,
    author = {Martin Magnusson},
    title = {{Deductive Planning and Composite Actions in Temporal Action Logic}},
    year = {2007},
    type = {Licentiate Thesis},
    series = {Link\"oping Studies in Science and Technology. Thesis},
    volume = {1329},
    publisher = {Institutionen f\"or datavetenskap},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {9789185895939},
    issn = {0280-7971},
}

@phdthesis{Eli:2006:21808,
    author = {Karolina Eliasson},
    title = {{The Use of Case-Based Reasoning in a Human-Robot Dialog System}},
    year = {2006},
    type = {Licentiate Thesis},
    series = {Link\"oping Studies in Science and Technology. Thesis},
    volume = {1248},
    publisher = {Institutionen f\"or datavetenskap},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {918552378X},
    issn = {0280-7971},
    note = {Report code: LiUTekLic2006:29.},
}

@phdthesis{Has:2006:21613,
    author = {Patrik Haslum},
    title = {{Admissible Heuristics for Automated Planning}},
    year = {2006},
    series = {Link\"oping Studies in Science and Technology. Dissertations},
    volume = {1004},
    publisher = {Institutionen f\"or datavetenskap},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {91-85497-28-2},
    issn = {0345-7524},
}

@phdthesis{Pet:2006:21248,
    author = {Per Olof Pettersson},
    title = {{Sampling-based Path Planning for an Autonomous Helicopter}},
    year = {2006},
    type = {Licentiate Thesis},
    series = {Link\"oping Studies in Science and Technology. Thesis},
    volume = {1229},
    publisher = {Institutionen f\"or datavetenskap},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {9185497150},
    issn = {0280-7971},
    note = {Report code: LiU\�Tek\�Lic\�2006:10.},
}

@phdthesis{Arp:2005:253921,
    author = {Anders Arpteg},
    title = {{Intelligent semi-structured information extraction: a user-driven approach to information extraction}},
    year = {2005},
    series = {Link\"oping Studies in Science and Technology. Dissertations},
    volume = {946},
    publisher = {Link\"oping University Electronic Press},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {91-85297-98-4},
    issn = {0345-7524},
    note = {This work has been supported by University of Kalmar and the Knowledge Foundation.},
}

@phdthesis{Kad:2005:252613,
    author = {Bourhane Kadmiry},
    title = {{Fuzzy gain scheduled visual servoing for an unmanned helicopter}},
    year = {2005},
    series = {Link\"oping Studies in Science and Technology. Dissertations},
    volume = {938},
    publisher = {Link\"opings universitet},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {91-85297-76-3},
    issn = {0345-7524},
}

@phdthesis{Kva:2005:252317,
    author = {Jonas Kvarnstr\"om},
    title = {{TALplanner and other extensions to Temporal Action Logic}},
    year = {2005},
    series = {Link\"oping Studies in Science and Technology. Dissertations},
    volume = {937},
    publisher = {Link\"opings universitet},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {91-85297-75-5},
    issn = {0345-7524},
}

@phdthesis{Arp:2003:21449,
    author = {Anders Arpteg},
    title = {{Adaptive Semi-structured Information Extraction}},
    year = {2003},
    type = {Licentiate Thesis},
    series = {Link\"oping Studies in Science and Technology. Thesis},
    volume = {1000},
    publisher = {Institutionen f\"or datavetenskap},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {9173735892},
    issn = {0280-7971},
    note = {Report code: LiU-Tek-Lic-2002:73.},
}

@phdthesis{Has:2002:21481,
    author = {Patrik Haslum},
    title = {{Prediction as a Knowledge Representation Problem: A Case Study in Model Design}},
    year = {2002},
    type = {Licentiate Thesis},
    series = {Link\"oping Studies in Science and Technology. Thesis},
    volume = {942},
    publisher = {Institutionen f\"or datavetenskap},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {9173733318},
    issn = {0280-7971},
    note = {Report code: LiU-Tek-Lic-2002:15.},
}

@phdthesis{Kad:2002:21480,
    author = {Bourhane Kadmiry},
    title = {{Fuzzy Control for an Unmanned Helicopter}},
    year = {2002},
    type = {Licentiate Thesis},
    series = {Link\"oping Studies in Science and Technology. Thesis},
    volume = {938},
    publisher = {Institutionen f\"or datavetenskap},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {917373313X},
    issn = {0280-7971},
    note = {Report code: LiU-Tek-Lic-2002:11. The format of the electronic version of this thesis differs slightly from the printed one: this is due mainly to font compatibility. The figures and body of the thesis are remaining unchanged.},
}

@phdthesis{Bjr:2001:256452,
    author = {Marcus Bj\"areland},
    title = {{Model-based execution monitoring}},
    year = {2001},
    series = {Link\"oping Studies in Science and Technology. Dissertations},
    volume = {688},
    publisher = {Link\"opings universitet},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {91-7373-016-5},
    issn = {0345-7524},
}

@phdthesis{Gus:2001:256451,
    author = {Joakim Gustafsson},
    title = {{Extending temporal action logic}},
    year = {2001},
    series = {Link\"oping Studies in Science and Technology. Dissertations},
    volume = {689},
    publisher = {Link\"opings universitet},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {91-7373-017-3},
    issn = {0345-7524},
}

@phdthesis{Cor:1999:256578,
    author = {Silvia Coradeschi},
    title = {{Anchoring symbols to sensory data}},
    year = {1999},
    series = {Link\"oping Studies in Science and Technology. Dissertations},
    volume = {611},
    publisher = {Link\"opings universitet},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {91-7219-623-8},
    issn = {0345-7524},
}

@phdthesis{Gus:1998:1415141,
    author = {Joakim Gustafsson},
    title = {{Extending temporal action logic for ramification and concurrency}},
    year = {1998},
    type = {Licentiate Thesis},
    series = {Link\"oping Studies in Science and Technology. Thesis},
    volume = {719},
    publisher = {Univ.},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {9172192879},
    issn = {0280-7971},
}

@phdthesis{Bjr:1998:482632,
    author = {Marcus Bj\"areland},
    title = {{Two Aspects of Automating Logics of Action and Change: Regression and Tractability}},
    year = {1998},
    type = {Licentiate Thesis},
    series = {Link\"oping Studies in Science and Technology. Thesis},
    volume = {674},
    publisher = {Link\"opings universitet},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {9172191732},
    issn = {0280-7971},
    note = {Thesis No 674. LiU-Tek-Lic 1998:09},
}

@phdthesis{Cor:1997:1404154,
    author = {Silvia Coradeschi},
    title = {{A decision-mechanism for reactive and coordinated agents: Silvia Coradeschi}},
    year = {1997},
    type = {Licentiate Thesis},
    series = {Link\"oping Studies in Science and Technology. Thesis},
    volume = {615},
    publisher = {Univ.},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {9178719410},
    issn = {0280-7971},
}

@phdthesis{Doh:1991:262271,
    author = {Patrick Doherty},
    title = {{NML3: a non-monotonic formalism with explicit defaults}},
    year = {1991},
    series = {Link\"oping Studies in Science and Technology. Dissertations},
    volume = {258},
    publisher = {Link\"opings tekniska h\"ogskola},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {91-7870-816-8},
    issn = {0345-7524},
}

@phdthesis{Doh:1990:262875,
    author = {Patrick Doherty},
    title = {{A three-valued approach to non-monotonic reasoning}},
    year = {1990},
    type = {Licentiate Thesis},
    series = {Link\"oping Studies in Science and Technology. Thesis},
    volume = {230},
    publisher = {Link\"oping University},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {9178706726},
    issn = {0280-7971},
}

@phdthesis{Har:1977:256466,
    author = {Anders Haraldsson},
    title = {{A program manipulation system based on partial evaluation}},
    year = {1977},
    series = {Link\"oping Studies in Science and Technology. Dissertations},
    volume = {14},
    publisher = {Link\"opings universitet},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {9173721441},
    issn = {0345-7524},
}