LDR | | 01919nam u200409 4500 |
001 | | 000000418698 |
005 | | 20190215163057 |
008 | | 181129s2018 |||||||||||||||||c||eng d |
020 | |
▼a 9780438371743 |
035 | |
▼a (MiAaPQ)AAI10845571 |
035 | |
▼a (MiAaPQ)purdue:23273 |
040 | |
▼a MiAaPQ
▼c MiAaPQ
▼d 247004 |
082 | 0 |
▼a 629.8 |
100 | 1 |
▼a Gomez Morales, Mauricio Alejandro. |
245 | 10 |
▼a Hybrid Cloud Model Checking Using the Interaction Layer of Harms for Ambient Assistive Living Environments. |
260 | |
▼a [S.l.]:
▼b Purdue University.,
▼c 2018. |
260 | 1 |
▼a Ann Arbor:
▼b ProQuest Dissertations & Theses,
▼c 2018. |
300 | |
▼a 170 p. |
500 | |
▼a Source: Dissertation Abstracts International, Volume: 80-02(E), Section: B. |
500 | |
▼a Adviser: Eric T. Matson. |
502 | 1 |
▼a Thesis (Ph.D.)--Purdue University, 2018. |
520 | |
▼a Soon, humans will be co-living and taking advantage of the help of multi-agent systems in a broader way than the present. Such systems will involve machines or devices of any variety, including robots. These kind of solutions will adapt to the s |
520 | |
▼a This dissertation worked towards two specific goals. First, to assure that the system will always work, independently of which of the agents performs the different tasks needed to accomplish a bigger objective. Second, to provide initial steps t |
590 | |
▼a School code: 0183. |
650 | 4 |
▼a Robotics. |
650 | 4 |
▼a Artificial intelligence. |
690 | |
▼a 0771 |
690 | |
▼a 0800 |
710 | 20 |
▼a Purdue University.
▼b Computer and Information Technology. |
773 | 0 |
▼t Dissertation Abstracts International
▼g 80-02B(E). |
773 | |
▼t Dissertation Abstract International |
790 | |
▼a 0183 |
791 | |
▼a Ph.D. |
792 | |
▼a 2018 |
793 | |
▼a English |
856 | 40 |
▼u http://www.riss.kr/pdu/ddodLink.do?id=T15000069
▼n KERIS
▼z 이 자료의 원문은 한국교육학술정보원에서 제공합니다. |
980 | |
▼a 201812
▼f 2019 |
990 | |
▼a ***1012033 |