AM

Aloysius K. Mok

0000-0003-1309-8425

cs.ROcs.AIcs.DCcs.NIcs.SE

On Valency

published · living versions

W_9zv6edxy·v1 · currentpublished

Assuring Learning-Enabled Cyber-Physical Systems with Foundation Models: A Neuro-Symbolic Agenda for Testing, Verification, and Runtime Assurance

with Xi Zheng, Ivan Ruchkin, Hong Jin Kang, Tevfik Bultan +9

1 version

Preprints & journals

6 papers in the corpus · 2015–2026

Robust Evacuation for Multi-Drone Failure in Drone Light Shows2601.06728v1 · Minhyuk Park, Aloysius K. Mok, Tsz-Chiu Au2026 · 0 citationsarXiv

Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach2311.07377v3 · Xi Zheng, Aloysius K. Mok, Ruzica Piskac et al.2023 · 7 citationsarXiv

RT-WiFi on Software-Defined Radio: Design and Implementation2203.10390v1 · Zelin Yun, Peng Wu, Shengli Zhou et al.2022 · 11 citationsarXiv

SQRP: Sensing Quality-aware Robot Programming System for Non-expert Programmers2107.00127v1 · Yi-Hsuan Hsieh, Pei-Chi Huang, Aloysius K Mok2021 · 2 citationsarXiv

Web Based Teleoperation of a Humanoid Robot1607.05402v1 · Chien Liang Fok, Fei Sun, Matt Mangum et al.2016 · 4 citationsarXiv

ControlIt! - A Software Framework for Whole-Body Operational Space Control1506.01075v1 · C.-L. Fok, G. Johnson, J. D. Yamokoski et al.2015 · 21 citationsarXiv

Career total: 325 works. 6 are in this corpus.

Profile built from the corpus for this byline.

Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.