• Article  

      Coverage analysis of mobile agent trajectory via state-based opacity formulations 

      Saboori, A.; Hadjicostis, Christoforos N. (2011)
      This paper performs coverage analysis of mobile agent trajectory utilizing discrete event system models and employing state-based notions of opacity. Non-deterministic finite automata with partial observation on their ...
    • Article  

      Personalized Driver/Vehicle Lane Change Models for ADAS 

      Butakov, V.; Ioannou, Petros A. (2015)
      Lane changes are stressful maneuvers for drivers, particularly during high-speed traffic flows. Advanced driver-assistance systems (ADASs) aim to assist drivers during lane change maneuvers. A system that is developed for ...