Zobrazeno 1 - 10
of 101
pro vyhledávání: '"Hadas Kress-Gazit"'
Autor:
Hadas Kress-Gazit, Hazem Torfah
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 286, Iss Proc. CREST 2018, Pp 50-64 (2019)
In formal synthesis of reactive systems an implementation of a system is automatically constructed from its formal specification. The great advantage of synthesis is that the resulting implementation is correct by construction; therefore there is no
Externí odkaz:
https://doaj.org/article/94f434337cdb4ec39c115e17f2998675
Autor:
Hadas Kress-Gazit, David Gundana
Publikováno v:
IEEE Robotics and Automation Letters. 7:10001-10008
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::af6fb7bd456b21de6e492fde9bf0f4f2
https://doi.org/10.1109/lra.2022.3192625
https://doi.org/10.1109/lra.2022.3192625
Publikováno v:
Companion of the 2023 ACM/IEEE International Conference on Human-Robot Interaction.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::954a7440393d0c7d270de91c3563aab2
https://doi.org/10.1145/3568294.3580159
https://doi.org/10.1145/3568294.3580159
Publikováno v:
Proceedings of the 2023 ACM/IEEE International Conference on Human-Robot Interaction.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c9f341cfa604702e25a8c996f849b082
https://doi.org/10.1145/3568162.3576955
https://doi.org/10.1145/3568162.3576955
Publikováno v:
2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d5e78e6f6dd5ef6ec47416ad168626c3
https://doi.org/10.1109/iros47612.2022.9982233
https://doi.org/10.1109/iros47612.2022.9982233
Publikováno v:
IEEE Robotics & Automation Magazine. 28:126-130
The IEEE Robotics and Automation Society Women in Engineering (RAS WIE) Committee set out to understand one aspect of representation: that of women in the primary conference leadership and speaker roles at RAS-supported conferences. We found that 1)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d2f39c9a068d34886538f446ca771b18
https://doi.org/10.1109/mra.2021.3071897
https://doi.org/10.1109/mra.2021.3071897
Publikováno v:
2022 31st IEEE International Conference on Robot and Human Interactive Communication (RO-MAN).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d5a23934950501f13bcc0c3826a6b203
https://doi.org/10.1109/ro-man53752.2022.9900856
https://doi.org/10.1109/ro-man53752.2022.9900856
Publikováno v:
Annual Review of Control, Robotics, and Autonomous Systems. 3:25-55
This article surveys the use of natural language in robotics from a robotics point of view. To use human language, robots must map words to aspects of the physical world, mediated by the robot's sensors and actuators. This problem differs from other
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cc6105c2b6d9b0d6d71bd2c794b9b7f0
https://doi.org/10.1146/annurev-control-101119-071628
https://doi.org/10.1146/annurev-control-101119-071628
Publikováno v:
Springer Proceedings in Advanced Robotics ISBN: 9783030954581
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9ca27d01074ebd9755326c7829e2a286
https://doi.org/10.1007/978-3-030-95459-8_31
https://doi.org/10.1007/978-3-030-95459-8_31
Publikováno v:
Distributed Autonomous Robotic Systems ISBN: 9783030927899
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4e5a41261e1c94b7e39e4e9dbfbac098
https://doi.org/10.1007/978-3-030-92790-5_21
https://doi.org/10.1007/978-3-030-92790-5_21