✦ LIBER ✦

Lessons Learned from Model Checking a NASA Robot Controller

✍ Scribed by Natasha Sharygina; James Browne; Fei Xie; Robert Kurshan; Vladimir Levin

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Lessons learned from a sperm morphology

✍ D. R. Franken; T. F. Kruger 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 67 KB

Learning model-free robot control by a M

✍ Nikos Vlassis; Marc Toussaint; Georgios Kontes; Savas Piperidis 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 467 KB

Practicing Physician Education in Geriat

✍ Levine, Sharon A. (author);Brett, Belle (author);Robinson, Bruce E. (author);Str 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 90 KB

Practicing Physician Education in Geriat

✍ Levine, Sharon A. (author);Brett, Belle (author);Robinson, Bruce E. (author);Str 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 90 KB

A Multiple Models Approach for Adaptatio

✍ A. D’Amico; G. Ippoliti; S. Longhi 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 794 KB

Lessons Learned from an Extensive Spectr

✍ Matthias Wellens; Petri Mähönen 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 498 KB