Martin Jensen

Publication Activity (10 Years)

Years Active: 2010-2020
Publications (10 Years): 2

Top Topics

Transition Matrices

Theorem Proving

Top Venues

Publications

Anne Ejsing, Martin Jensen, Marco Muñiz, Jacob Nørhave, Lars Rechter
Near Optimal Task Graph Scheduling with Priced Timed Automata and Priced Timed Markov Decision Processes. CoRR (2020)
Christian Ulrich, Martin Jensen, Rolf Hansen, Kouhyar Tavakolian, Farzad Khosrow-Khavar, Andrew P. Blaber, Kasper Sørensen, Samuel Emil Schmidt
Determining the Respiratory State From a Seismocardiographic Signal-A Machine Learning Approach. CinC (2018)
Martin Jensen, Cumhur Sel, Ulrik Franke, Hannes Holm, Lars Nordström
Availability of a SCADA/OMS/DMS system - A case study. ISGT Europe (2010)