Collaborated with:
Theodore P. Pavlic A.W.Richa
Talks about:
algorithm (1) synthesi (1) properti (1) scalabl (1) assist (1) robot (1) multi (1) local (1) infer (1) autom (1)
Person: Taeyeong Choi
DBLP: Choi:Taeyeong
Contributed to:
Wrote 1 papers:
- CASE-2017-ChoiPR #algorithm #automation #multi #scalability #synthesis
- Automated synthesis of scalable algorithms for inferring non-local properties to assist in multi-robot teaming (TC, TPP, AWR), pp. 1522–1527.