Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output

2019

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 proceedingArticle in proceedingResearchpeer-review

Statistical Model Checking for Finite-Set Model Predictive Control Converters: A Tutorial on Modeling and Performance Verification

Novak, M., Nyman, U., Dragicevic, T. & Blaabjerg, F., Sep 2019, In : I E E E Industrial Electronics Magazine. 13, 3, p. 6-15 10 p., 8845791.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
24 Downloads (Pure)

Stubborn versus structural reductions for Petri nets

Bønneland, F. M., Dyhr, J., Jensen, P. G., Johannsen, M. & Srba, J., 2019, In : Journal of Logical and Algebraic Methods in Programming. 102, p. 46-63 18 p.

Research output: Contribution to journalJournal article

Sustainable Energy Systems Planning, Integration, and Management

Anvari-Moghaddam, A., Mohammadi-Ivatloo, B., Asadi, S., Larsen, K. G. & Shahidehpour, M., 1 Oct 2019, In : Applied Sciences. 9, 20, 5 p., 4451.

Research output: Contribution to journalEditorialResearchpeer-review

Open Access
File
28 Downloads (Pure)

Symbolic Model Checking of Weighted PCTL Using Dependency Graphs

Jensen, M. C., Mariegaard, A. & Larsen, K. G., 2019, NASA Formal Methods - 11th International Symposium, NFM 2019, Proceedings. Rozier, K. Y. & Badger, J. M. (eds.). Springer, p. 298-315 18 p. (Lecture Notes in Computer Science, Vol. 11460).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

2 Citations (Scopus)

Synthesis of Safe, Optimal and Compact Strategies for Stochastic Hybrid Games

Larsen, K. G., 2019, Proceedings of 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 5 p. 2. (Leibniz International Proceedings in Informatics, Vol. 140).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access

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 proceedingArticle in proceedingResearchpeer-review

Time to Learn - Learning Timed Automata from Tests

Tappler, M., Aichernig, B. K., Larsen, K. G. & Lorber, F., Aug 2019, Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Proceedings. André, É., Stoelinga, M. & Stoelinga, M. (eds.). Heidelberg: Springer, p. 216-235 20 p. (Lecture Notes in Computer Science, Vol. 11750).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

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/journalPosterCommunication

File
15 Downloads (Pure)
2020

Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems

Boudjadar, J., Ramanathan, S., Easwaran, A. & Nyman, U., 16 Jan 2020, Proceedings - 2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2019. De Rango, F., Calafate, C. T., Voznak, M., Garro, A. & Tropea, M. (eds.). IEEE Press, p. 1-10 10 p. 8958666

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

File
79 Downloads (Pure)

Creating urban green infrastructure where it is needed – A spatial ecosystem service-based decision analysis of green roofs in Barcelona

Langemeyer, J., Wedgwood, D., McPhearson, T., Baró, F., Madsen, A. L. & Barton, D. N., 2020, In : Science of the Total Environment. 707, 135487.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
1 Citation (Scopus)
9 Downloads (Pure)

On Collapsing Prefix Normal Words

Fleischmann, P., Kulczynski, M., Nowotka, D. & Poulsen, D. B., 2020, Language and Automata Theory and Applications: 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings. Springer, p. 412-424 12 p. (Lecture Notes in Computer Science (LNCS), Vol. 12038).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review