Publications

Export 4 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is State-space methods  [Clear All Filters]
2006
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.
1995
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.
1993
Fredette AN, Cleaveland R.  1993.  RTSL: a language for real-time schedulability analysis. Real-Time Systems Symposium, 1993., Proceedings.. :274-283.
1990
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.