Follow
Mikkel Hansen
Mikkel Hansen
PhD-Student in Computer Science, Aalborg University
Verified email at cs.aau.dk
Title
Cited by
Cited by
Year
Parametric verification of weighted systems
P Christoffersen, M Hansen, A Mariegaard, JT Ringsmose, KG Larsen, ...
2nd International Workshop on Synthesis of Complex Parameters, SynCoP 2015 …, 2015
132015
Reasoning about bounds in weighted transition systems
M Hansen, KG Larsen, R Mardare, MR Pedersen
arXiv preprint arXiv:1703.03346, 2017
11*2017
On the verification of weighted kripke structures under uncertainty
G Bacci, M Hansen, KG Larsen
International Conference on Quantitative Evaluation of Systems, 71-86, 2018
52018
Model checking constrained Markov reward models with uncertainties
G Bacci, M Hansen, KG Larsen
International Conference on Quantitative Evaluation of Systems, 37-51, 2019
42019
Optimering af signalstyring i realtid: Intelligent styring af signalregulerede kryds ved anvendelse af maskinlæring og objektdetektering
MF Hansen, AB Eriksen, JH Taankvist, KG Larsen, H Lahrmann
Danish Journal of Transportation Research-Dansk tidskrift for …, 2017
12017
Reasoning About Bounds in Weighted Transition Systems
MR Pedersen, R Mardare, KG Larsen, M Hansen
Logical Methods in Computer Science 14, 2018
2018
Using machine learning and object detection for signal-controlled intersections
HS Lahrmann, AB Eriksen, JH Taankvist, MF Hansen, KG Larsen
25th ITS World Congress-Quality of Life, EU-TP1618, 2018
2018
Weighted Transition Systems: From Boolean to Parametric Analysis
SV Birch, P Christoffersen, M Hansen, A Mariegaard, J Ringsmose
2014
Games for Programmers
K Jepsen, MH Sørensen, ML Pedersen, M Nørtoft, M Hansen
2012
Evanescent-wave fluorescence excitation in aqueous solutions using symmetric planar waveguides
K Leosson, MH Sørensen, T Nikolajsen, M Hansen, SI Bozhevolnyi
Mobile løsninger til danske el-producenter Tema: Developing applications-from users to data, algorithms and tests-and back again
KM Jepsen, LGB Nielsen, ML Pedersen, M Sørensen, M Hansen, ...
The system can't perform the operation now. Try again later.
Articles 1–11