Continuous Measurements and Quantitative Constraints: Challenge Problems for Discrete Modeling Techniques
暂无分享,去创建一个
[1] Gerald J. Sussman,et al. Structure and interpretation of computer programs , 1985, Proceedings of the IEEE.
[2] Illah R. Nourbakhsh,et al. DERVISH - An Office-Navigating Robot , 1995, AI Mag..
[3] P. Pandurang Nayak,et al. Back to the Future for Consistency-Based Trajectory Tracking , 2000, AAAI/IAAI.
[4] P. Pandurang Nayak,et al. Model Based Autonomy for Robust Mars Operations , 1998 .
[5] Gerd Infanger. Planning under uncertainty , 1992 .
[6] Brian C. Williams,et al. Diagnosis with Behavioral Modes , 1989, IJCAI.
[7] T. Dean,et al. Planning under uncertainty: structural assumptions and computational leverage , 1996 .
[8] Luca Console,et al. Readings in Model-Based Diagnosis , 1992 .
[9] Leslie Pack Kaelbling,et al. Planning and Acting in Partially Observable Stochastic Domains , 1998, Artif. Intell..
[10] Erann Gat,et al. Remote agent prototype for spacecraft autonomy , 1996, Optics & Photonics.
[11] Nicola Muscettola,et al. Design of the Remote Agent experiment for spacecraft autonomy , 1998, 1998 IEEE Aerospace Conference Proceedings (Cat. No.98TH8339).
[12] M.N. Sastry,et al. Structure and interpretation of computer programs , 1986, Proceedings of the IEEE.
[13] Brian C. Williams,et al. Diagnosing Multiple Faults , 1987, Artif. Intell..
[14] P. Pandurang Nayak,et al. A Model-Based Approach to Reactive Self-Configuring Systems , 1996, AAAI/IAAI, Vol. 2.