Integrating active sensing into reactive synthesis with temporal logic constraints under partial observations - researchr publication

researchr

You are not signed in
Sign in
Sign up

Jie Fu, Ufuk Topcu. Integrating active sensing into reactive synthesis with temporal logic constraints under partial observations. In American Control Conference, ACC 2015, Chicago, IL, USA, July 1-3, 2015. pages 2408-2413, IEEE, 2015. [doi]

Abstract is missing.

runs on WebDSL