Zobrazeno 1 - 10
of 17
pro vyhledávání: '"Joonwon Choi"'
Publikováno v:
IEEE Open Journal of Control Systems, Vol 3, Pp 32-44 (2024)
This article proposes a quantitative framework for optimally allocating task functions in human-autonomy teaming (HAT). HAT involves cooperation between humans and autonomous agents to achieve common goals. As humans and autonomous agents possess dif
Externí odkaz:
https://doaj.org/article/6b021834c98a469db232eedd643ce7cc
Publikováno v:
IEEE Access, Vol 8, Pp 71525-71534 (2020)
This paper proposes a formation control algorithm to create separated multiple formations for an undirected networked multi-agent system while preserving the network connectivity and avoiding collision among agents. Through the modified multi-consens
Externí odkaz:
https://doaj.org/article/15bb54c5ac0041df8f9d5c0636f76c2e
Autor:
Joonwon Choi
Publikováno v:
Korean Corporation Management Review. 28:45-76
Autor:
Joonwon Choi
Publikováno v:
The Korean Academic Association of Business Administration. 33:1567-1596
Publikováno v:
IEEE Access, Vol 8, Pp 71525-71534 (2020)
This paper proposes a formation control algorithm to create separated multiple formations for an undirected networked multi-agent system while preserving the network connectivity and avoiding collision among agents. Through the modified multi-consens
Publikováno v:
Aerospace Science and Technology. 130:107869
Publikováno v:
PLDI
The interfaces between layers of a system are susceptible to bugs if developers of adjacent layers proceed under subtly different assumptions. Formal verification of two layers against the same formal model of the interface between them can be used t
Autor:
Nikhil Swamy, Antoine Delignat-Lavaud, Jonathan Protzenko, Joonwon Choi, Bryan Parno, Christoph M. Wintersteiger, Chris Hawblitzel, Aseem Rastogi, Natalia Kulatova, Aymeric Fromherz, Marina Polubelova, Santiago Zanella-Béguelin, Tahina Ramananandro, Karthikeyan Bhargavan, Benjamin Beurdouche, Cédric Fournet
Publikováno v:
SP 2020-IEEE Symposium on Security and Privacy
SP 2020-IEEE Symposium on Security and Privacy, May 2020, San Francisco / Virtual, United States. pp.983-1002, ⟨10.1109/SP40000.2020.00114⟩
IEEE Symposium on Security and Privacy
2020 IEEE Symposium on Security and Privacy (SP)
SP 2020-IEEE Symposium on Security and Privacy, May 2020, San Francisco / Virtual, United States. pp.983-1002, ⟨10.1109/SP40000.2020.00114⟩
IEEE Symposium on Security and Privacy
2020 IEEE Symposium on Security and Privacy (SP)
International audience; We present EverCrypt: a comprehensive collection of verified, high-performance cryptographic functionalities available via a carefully designed API. The API provably supports agility (choosing between multiple algorithms for t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b754b12d09129b9fb446c4bb80a284b0
https://inria.hal.science/hal-03154278
https://inria.hal.science/hal-03154278
Autor:
Joonwon Choi
Publikováno v:
Korean Corporation Management Review. 25:19-50
Autor:
Yonghyun Kim, Sang-Hoon Park, Joonwon Choi, June-Young Lee, Chung-Kil Hur, Mark Dongyeon Shin, Sungkeun Cho, Kwangkeun Yi, Jeehoon Kang, Youngju Song, Yoonseung Kim
Publikováno v:
PLDI
Production compilers such as GCC and LLVM are large complex software systems, for which achieving a high level of reliability is hard. Although testing is an effective method for finding bugs, it alone cannot guarantee a high level of reliability. To