53rd IEEE Conference on Decision and Control December 15-17, 2014. Los Angeles, California, USA Constructing (Bi)Similar Finite State Abstractions using Asynchronous l-Complete Approximations Anne-Kathrin Schmuck and J¨ - Schmuck - Document - PDFSEARCH.IO

First Page	Meta Content
	53rd IEEE Conference on Decision and Control December 15-17, 2014. Los Angeles, California, USA Constructing (Bi)Similar Finite State Abstractions using Asynchronous l-Complete Approximations Anne-Kathrin Schmuck and J¨ Add to Reading List Document Date: 2015-03-26 11:40:02 Open Document File Size: 424,02 KB Share Result on Facebook

53rd IEEE Conference on Decision and Control December 15-17, 2014. Los Angeles, California, USA Constructing (Bi)Similar Finite State Abstractions using Asynchronous l-Complete Approximations Anne-Kathrin Schmuck and J¨Add to Reading List