𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc. Press [1990]. AI, Simulation and Planning in High Autonomy Systems - Tucson, AZ, USA (26-27 March 1990)] Proceedings [1990]. AI, Simulation and Planning in High Autonomy Systems - A new technique for proving real-time properties

✍ Scribed by Narain, S.

Book ID: 126669818
Publisher: IEEE Comput. Soc. Press
Year: 1990
Tongue: English
Weight: 628 KB
Category: Article
ISBN-13: 9780818620430
DOI: 10.1109/AIHAS.1990.93916

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc. Press [1990]. AI, Sim

[IEEE Comput. Soc. Press [1990]. AI, Simulation and Planning in High Autonomy Systems - Tucson, AZ, USA (26-27 March 1990)] Proceedings [1990]. AI, Simulation and Planning in High Autonomy Systems - Non-chronological scheduling

✍ Fox, B.R. 📂 Article 📅 1990 🏛 IEEE Comput. Soc. Press ⚖ 477 KB

[IEEE Comput. Soc. Press Fifth Annual Co

[IEEE Comput. Soc. Press Fifth Annual Conference on AI, and Planning in High Autonomy Systems - Gainesville, FL, USA (7-9 Dec. 1994)] Fifth Annual Conference on AI, and Planning in High Autonomy Systems - Simulation as a tool for hybrid system design

✍ Lygeros, J.; Godbole, D.; Sastry, S. 📂 Article 📅 1994 🏛 IEEE Comput. Soc. Press ⚖ 809 KB

[IEEE Comput. Soc. Press The Second Annu

[IEEE Comput. Soc. Press The Second Annual Conference on AI, Simulation and Planning in High Autonomy Systems - Cocoa Beach, FL, USA (1-2 April 1991)] [1991] Proceedings. The Second Annual Conference on AI, Simulation and Planning in High Autonomy Systems - Representing temporal spatial, and causal knowledge for monitoring and control in an Intelligent Simulation Training System

✍ Interrante, L.D. 📂 Article 📅 1991 🏛 IEEE Comput. Soc. Press ⚖ 522 KB