4 citations · 6 across the 12 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.PL2026
Rumoca: Modelica as a Universal Algebraic Frontend via a Rust-Native Compiler
Micah K. Condie, Abigaile Woodbury, Thomas Meschede +2
Modelica is a well established cyber-physical modeling language, but many modern engineering workflows, such as optimization, differentiable simulation, scientific machine learning…
cs.RO2026
A Surveillance Evasion Game with Continuous Sensor Redeployment via Bilevel Optimization
Jaehyeok Kim, Kartik A. Pant, Joseph Kinerson +4
Uncrewed Aerial Systems (UASs) have become a growing threat to the security of critical infrastructure, exploiting spatiotemporal gaps in sensor perimeters to infiltrate restricted…