8 citations · 34 across the 14 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2023★ 7 cited
Formal Methods for Autonomous Systems
Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe +6
Formal methods refer to rigorous, mathematical approaches to system development and have played a key role in establishing the correctness of safety-critical systems. The main buil…
cs.AI2023
Multimodal Pretrained Models for Verifiable Sequential Decision-Making: Planning, Grounding, and Perception
Yunhao Yang, Cyrus Neary, Ufuk Topcu
Recently developed pretrained models can encode rich world knowledge expressed in multiple modalities, such as text and images. However, the outputs of these models cannot be integ…