Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jakob Haahr Taankvist
@inproceedings{DBLP:conf/rp/BilgramJPST21,
author = {Alexander Bilgram and
Peter Gj{\o}l Jensen and
Thomas Pedersen and
Jir{\'{\i}} Srba and
Jakob Haahr Taankvist},
editor = {Paul C. Bell and
Patrick Totzke and
Igor Potapov},
title = {Improvements in Unfolding of Colored Petri Nets},
booktitle = {Reachability Problems - 15th International Conference, {RP} 2021,
Liverpool, UK, October 25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13035},
pages = {69--84},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89716-1\_5},
doi = {10.1007/978-3-030-89716-1\_5},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/BilgramJPST21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/JaegerJLLST19,
author = {Manfred Jaeger and
Peter Gj{\o}l Jensen and
Kim Guldstrand Larsen and
Axel Legay and
Sean Sedwards and
Jakob Haahr Taankvist},
editor = {Yu{-}Fang Chen and
Chih{-}Hong Cheng and
Javier Esparza},
title = {Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space
MDPs},
booktitle = {Automated Technology for Verification and Analysis - 17th International
Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11781},
pages = {81--97},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31784-3\_5},
doi = {10.1007/978-3-030-31784-3\_5},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/JaegerJLLST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/AshokKLCTW19,
author = {Pranav Ashok and
Jan Kret{\'{\i}}nsk{\'{y}} and
Kim Guldstrand Larsen and
Adrien Le Co{\"{e}}nt and
Jakob Haahr Taankvist and
Maximilian Weininger},
editor = {David Parker and
Verena Wolf},
title = {{SOS:} Safe, Optimal and Small Strategies for Hybrid Markov Decision
Processes},
booktitle = {Quantitative Evaluation of Systems, 16th International Conference,
{QEST} 2019, Glasgow, UK, September 10-12, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11785},
pages = {147--164},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30281-8\_9},
doi = {10.1007/978-3-030-30281-8\_9},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/AshokKLCTW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-10640,
author = {Pranav Ashok and
Jan Kret{\'{\i}}nsk{\'{y}} and
Kim Guldstrand Larsen and
Adrien Le Co{\"{e}}nt and
Jakob Haahr Taankvist and
Maximilian Weininger},
title = {{SOS:} Safe, Optimal and Small Strategies for Hybrid Markov Decision
Processes},
journal = {CoRR},
volume = {abs/1906.10640},
year = {2019},
url = {http://arxiv.org/abs/1906.10640},
eprinttype = {arXiv},
eprint = {1906.10640},
timestamp = {Thu, 27 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-10640.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccta/SchiolerTDLT18,
author = {Henrik Schi{\o}ler and
Luminita Totu and
Jan Dimon Bendtsen and
Kim Guldstrand Larsen and
Jakob Haahr Taankvist},
title = {Time Optimal Robust Fleet Management of Micro {UAV} Through Timed
Games Formulation},
booktitle = {{IEEE} Conference on Control Technology and Applications, {CCTA} 2018,
Copenhagen, Denmark, August 21-24, 2018},
pages = {146--152},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/CCTA.2018.8511477},
doi = {10.1109/CCTA.2018.8511477},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccta/SchiolerTDLT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cyphy/LarsenCMT18,
author = {Kim Guldstrand Larsen and
Adrien Le Co{\"{e}}nt and
Marius Mikucionis and
Jakob Haahr Taankvist},
editor = {Roger D. Chamberlain and
Walid Taha and
Martin T{\"{o}}rngren},
title = {Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga},
booktitle = {Cyber Physical Systems. Model-Based Design - 8th International Workshop,
CyPhy 2018, and 14th International Workshop, {WESE} 2018, Turin, Italy,
October 4-5, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11615},
pages = {113--133},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-23703-5\_6},
doi = {10.1007/978-3-030-23703-5\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cyphy/LarsenCMT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LarsenMMST16,
author = {Kim G. Larsen and
Marius Mikucionis and
Marco Mu{\~{n}}iz and
Jir{\'{\i}} Srba and
Jakob Haahr Taankvist},
editor = {Marsha Chechik and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Online and Compositional Learning of Controllers with Application
to Floor Heating},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 22nd International Conference, {TACAS} 2016, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9636},
pages = {244--259},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49674-9\_14},
doi = {10.1007/978-3-662-49674-9\_14},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LarsenMMST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LarsenMT15,
author = {Kim Guldstrand Larsen and
Marius Mikucionis and
Jakob Haahr Taankvist},
editor = {Roland Meyer and
Andr{\'{e}} Platzer and
Heike Wehrheim},
title = {Safe and Optimal Adaptive Cruise Control},
booktitle = {Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger
Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany,
September 8-9, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9360},
pages = {260--277},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23506-6\_17},
doi = {10.1007/978-3-319-23506-6\_17},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LarsenMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DavidJLMT15,
author = {Alexandre David and
Peter Gj{\o}l Jensen and
Kim Guldstrand Larsen and
Marius Mikucionis and
Jakob Haahr Taankvist},
editor = {Christel Baier and
Cesare Tinelli},
title = {Uppaal Stratego},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 21st International Conference, {TACAS} 2015, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2015, London, UK, April 11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9035},
pages = {206--211},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46681-0\_16},
doi = {10.1007/978-3-662-46681-0\_16},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DavidJLMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DavidJLLLST14,
author = {Alexandre David and
Peter Gj{\o}l Jensen and
Kim Guldstrand Larsen and
Axel Legay and
Didier Lime and
Mathias Grund S{\o}rensen and
Jakob Haahr Taankvist},
editor = {Franck Cassez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {On Time with Minimal Expected Cost!},
booktitle = {Automated Technology for Verification and Analysis - 12th International
Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8837},
pages = {129--145},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11936-6\_10},
doi = {10.1007/978-3-319-11936-6\_10},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/DavidJLLLST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/JensenLSST14,
author = {Peter Gj{\o}l Jensen and
Kim Guldstrand Larsen and
Jir{\'{\i}} Srba and
Mathias Grund S{\o}rensen and
Jakob Haahr Taankvist},
editor = {Julia M. Badger and
Kristin Yvonne Rozier},
title = {Memory Efficient Data Structures for Explicit Verification of Timed
Systems},
booktitle = {{NASA} Formal Methods - 6th International Symposium, {NFM} 2014, Houston,
TX, USA, April 29 - May 1, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8430},
pages = {307--312},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06200-6\_26},
doi = {10.1007/978-3-319-06200-6\_26},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nfm/JensenLSST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memics/AndersenLSST12,
author = {Mathias Andersen and
Heine Gatten Larsen and
Jir{\'{\i}} Srba and
Mathias Grund S{\o}rensen and
Jakob Haahr Taankvist},
editor = {Anton{\'{\i}}n Kucera and
Thomas A. Henzinger and
Jaroslav Nesetril and
Tom{\'{a}}s Vojnar and
David Antos},
title = {Verification of Liveness Properties on Closed Timed-Arc Petri Nets},
booktitle = {Mathematical and Engineering Methods in Computer Science, 8th International
Doctoral Workshop, {MEMICS} 2012, Znojmo, Czech Republic, October
25-28, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7721},
pages = {69--81},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-36046-6\_8},
doi = {10.1007/978-3-642-36046-6\_8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memics/AndersenLSST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
