37 citations · 147 across the 28 of their papers we have counts for
Showing cs.ROShow all
2 papers · 1 filter
cs.RO2019★ 5 cited
Correct-by-Construction Advanced Driver Assistance Systems based on a Cognitive Architecture
Francisco Eiras, Morteza Lahijanian, Marta Kwiatkowska
Research into safety in autonomous and semi-autonomous vehicles has, so far, largely been focused on testing and validation through simulation. Due to the fact that failure of thes…
cs.RO2016★ 2 cited
Resource-Performance Trade-off Analysis for Mobile Robot Design
Morteza Lahijanian, Maria Svorenova, Akshay A. Morye +6
The design of mobile autonomous robots is challenging due to the limited on-board resources such as processing power and energy. A promising approach is to generate intelligent sch…