Biblio

Export 1 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Taxonomy Term is Robotics  [Clear All Filters]
2009
Plaku, E, Kavraki LE, Vardi MY.  2009.  Falsiļ¬cation of LTL Safety Properties in Hybrid Systems. Proc. of the Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009).
Abstract      Preprint PDF