Publications

Export 4 results:
Author Title [ Type(Desc)] Year
Filters: Keyword is State-space methods  [Clear All Filters]
Conference Papers
Bhat G, Cleaveland R, Grumberg O.  1995.  Efficient on-the-fly model checking for CTL. , Tenth Annual IEEE Symposium on Logic in Computer Science, 1995. LICS '95. Proceedings. :388-397.
Fredette AN, Cleaveland R.  1993.  RTSL: a language for real-time schedulability analysis. Real-Time Systems Symposium, 1993., Proceedings.. :274-283.
Cleaveland R, Steffen B.  1990.  When is `partial' adequate? A logic-based proof technique using partial specifications Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e. :440-449.
Journal Articles
Khan Z, Balch T, Dellaert F..  2006.  MCMC Data Association and Sparse Factorization Updating for Real Time Multitarget Tracking with Merged and Multiple Measurements. IEEE Transactions on Pattern Analysis and Machine Intelligence. 28(12):1960-1972.