Report : Verifiable Control for ( Semi ) Autonomous Cars that Learns from Human ( Re ) Actions