Namand Alur. Active Learning of Plans for Safety and Reachability Goals with Partial Observability. Institute of Electrical and Electronics Engineers (IEEE), 2010, doi:10.1109/tsmcb.2009.2025657.