Other Publications
| Show abstracts (where available) BibTeX entries | ||
| 2014 | ||
| [5] |  |
.
2014. Optimal Scheduling for Replacing Perimeter Guarding Unmanned Aerial Vehicles. Technical Report.
In series: LiTH-MAT-R #2014:09. Linköping University Electronic Press. 16 pages. |
| [4] | |
.
2014. Local Search for Hop-constrained Directed Steiner Tree Problem with Application to UAV-based Multi-target Surveillance. Technical Report.
In series: LiTH-MAT-R #2014:10. Linköping University Electronic Press. 25 pages. |
| 2009 | ||
| [3] |
.
2009. Proceedings of the Swedish AI Society Workshop 2009. Conference Proceedings.
In series: Linköping Electronic Conference Proceedings #35. Linköping University Electronic Press, Linköpings universitet. 65 pages. Link to Book: http://www.ep.liu.se/ecp/035/ |
|
| 1998 | ||
| [2] |
.
1998. TAL: Temporal Action Logics Language <> Specification and Tutorial. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #Vol.3:15. Linköping University Electronic Press. Original 32 and 1st Revised 32 pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2770094 Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3010158 |
|
| 1997 | ||
| [1] |
.
1997. Tackling the Qualification Problem using Fluent Dependency Constraints: Preliminary Report. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #Vol.2:16. Linköping University Electronic Press. 14 pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2477087 Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3011611 |
|
