5 citations · 6 across the 4 of their papers we have counts for
4 papers
Data-Selective Online Battery Identification Using Extended Time Regular Expressions
Nicolai A. Weinreich, Marco Muñiz, Marius Mikučionis +2
In this paper, we propose a data-efficient online battery identification method which targets highly informative battery cell data segments based on the driving pattern of the vehi…
Energy Consumption Optimization in Radio Access Networks (ECO-RAN)
Anders Mariegaard, Kim G. Larsen, Marco Muniz +1
In recent years, mobile network operators are showing interest in reducing energy consumption. Toward this goal, in cooperation with the Danish company 2Operate we have developed a…
Near Optimal Task Graph Scheduling with Priced Timed Automata and Priced Timed Markov Decision Processes
Anne Ejsing, Martin Jensen, Marco Muñiz +2
Task graph scheduling is a relevant problem in computer science with application to diverse real world domains. Task graph scheduling suffers from a combinatorial explosion and thu…
Stubborn Set Reduction for Two-Player Reachability Games
Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen +2
Partial order reductions have been successfully applied to model checking of concurrent systems and practical applications of the technique show nontrivial reduction in the size of…