most citedMRTA-Sim: A Modular Simulator for Multi-Robot Allocation, Planning, and Control in Open-World Environments

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2025

PolyVer: A Compositional Approach for Polyglot System Modeling and Verification

Pei-Wei Chen, Shaokai Lin, Adwait Godbole +4

Several software systems are polyglot; that is, they comprise programs implemented in a combination of programming languages. Verifiers that directly run on mainstream programming…