Articles with public access mandates - Marius MikučionisLearn more
Not available anywhere: 1
Continuous-time models for system design and analysis
R Alur, M Giacobbe, TA Henzinger, KG Larsen, M Mikučionis
Computing and Software Science: State of the Art and Perspectives, 452-477, 2019
Mandates: Austrian Science Fund, National Natural Science Foundation of China, Danish …
Available somewhere: 6
Uppaal SMC tutorial
A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen
International journal on software tools for technology transfer 17, 397-415, 2015
Mandates: National Natural Science Foundation of China, Danish National Research …
Online and compositional learning of controllers with application to floor heating
KG Larsen, M Mikučionis, M Muniz, J Srba, JH Taankvist
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
Mandates: European Commission, Innovation Fund Denmark
Co-simulation of hybrid systems with SpaceEx and Uppaal
S Bogomolov, M Greitschus, PG Jensen, KG Larsen, M Mikučionis, ...
11th International Modelica Conference, 159-169, 2015
Mandates: Austrian Science Fund, German Research Foundation, Danish Council for …
Importance sampling for stochastic timed automata
C Jegourel, KG Larsen, A Legay, M Mikučionis, DB Poulsen, S Sedwards
Dependable Software Engineering: Theories, Tools, and Applications: Second …, 2016
Mandates: National Natural Science Foundation of China, Danish National Research …
Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga
KG Larsen, A Le Coënt, M Mikučionis, JH Taankvist
Cyber Physical Systems. Model-Based Design: 8th International Workshop …, 2019
Mandates: Innovation Fund Denmark
Toolchain for user-centered intelligent floor heating control
MK Agesen, KG Larsen, M Mikučionis, M Muniz, P Olsen, T Pedersen, ...
IECON 2016-42nd Annual Conference of the IEEE Industrial Electronics Society …, 2016
Mandates: European Commission, Innovation Fund Denmark
Publication and funding information is determined automatically by a computer program