Research output per year
Research output per year
Fingerprint
The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.
- 1 Similar Profiles
-
Controlling Signalized Intersections using Machine Learning
Eriksen, A. B., Lahrmann, H., Larsen, K. G. & Taankvist, J. H., 2020, In: Transportation Research Procedia. 48, p. 987-997 11 p.Research output: Contribution to journal › Conference article in Journal › Research › peer-review
Open AccessFile2 Citations (Scopus)125 Downloads (Pure) -
Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga
Larsen, K. G., Coent, A. C. L., Mikučionis, M. & Taankvist, J. H., 2019, Proceedings of International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems. Chamberlain, R., Taha, W. & Törngren, M. (eds.). Heidelberg: Springer, p. 113-133 21 p. (Lecture Notes in Computer Science, Vol. 11615).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
8 Citations (Scopus) -
SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes
Ashok, P., Kretínsky, J., Larsen, K. G., Coent, A. C. L., Taankvist, J. H. & Weininger, M., 2019, Quantitative Evaluation of Systems - 16th International Conference, QEST 2019, Proceedings. Parker, D. & Wolf, V. (eds.). Heidelberg: Springer, p. 147-164 18 p. (Lecture Notes in Computer Science, Vol. 11785).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
21 Citations (Scopus) -
Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs
Jaeger, M., Jensen, P. G., Larsen, K. G., Legay, A. B. E., Sedwards, S. & Taankvist, J. H., 28 Oct 2019, Automated Technology for Verification and Analysis- 17th International Symposium, AVTA 2019, Proceedings: ATVA 2019: Automated Technology for Verification and Analysis. Chen, Y.-F., Cheng, C.-H. & Esparza, J. (eds.). Springer, p. 81-97 17 p. (Lecture Notes in Computer Science, Vol. 11781).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile21 Citations (Scopus)391 Downloads (Pure) -
UPPAAL STRATEGO
David, A., Jensen, P. G., Larsen, K. G., Mikučionis, M. & Taankvist, J. H., 2019. 1 p.Research output: Contribution to conference without publisher/journal › Poster › Communication
File66 Downloads (Pure)
Activities
- 1 Organisation or participation in workshops, courses, seminars, exhibitions or similar
-
SELVKØRENDE BILER I DANMARK: ER DE SMÅ SKRIDT I 2018 DE SIDSTE SMÅ SKRIDT FØR SNEBOLDEN RULLER?
Agerholm, N. (Organizer), Lanng, D. B. (Participant), Taankvist, J. H. (Participant), Vestergaard, M. (Organizer), Overgaard, L. (Participant), Randrup-Thomsen, S. (Participant) & Ziethen, M. (Participant)
22 May 2018Activity: Attending an event › Organisation or participation in workshops, courses, seminars, exhibitions or similar
Press/Media
-
Selvkørende debat
Taankvist, J. H., Ziethen, M. & Agerholm, N.
26/04/2018
2 items of Media coverage
Press/Media: Press / Media