Segui
Mikkel Hansen
Mikkel Hansen
PhD-Student in Computer Science, Aalborg University
Email verificata su cs.aau.dk
Titolo
Citata da
Citata da
Anno
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
142015
Reasoning about bounds in weighted transition systems
M Hansen, KG Larsen, R Mardare, MR Pedersen
Logical Methods in Computer Science 14, 2018
12*2018
Model checking constrained markov reward models with uncertainties
G Bacci, M Hansen, KG Larsen
Quantitative Evaluation of Systems: 16th International Conference, QEST 2019 …, 2019
62019
On the verification of weighted kripke structures under uncertainty
G Bacci, M Hansen, KG Larsen
Quantitative Evaluation of Systems: 15th International Conference, QEST 2018 …, 2018
52018
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
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, ...
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–10