9 citations · 10 across the 5 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
Uncovering Failures in Cyber-Physical System State Transitions: A Fuzzing-Based Approach Applied to sUAS
Theodore Chambers, Arturo Miguel Russell Bernal, Michael Vierhauser +1
The increasing deployment of small Uncrewed Aerial Systems (sUAS) in diverse and often safety-critical environments demands rigorous validation of onboard decision logic under vari…
cs.SE2025
Validating Terrain Models in Digital Twins for Trustworthy sUAS Operations
Arturo Miguel Russell Bernal, Maureen Petterson, Pedro Antonio Alarcon Granadeno +3
With the increasing deployment of small Unmanned Aircraft Systems (sUAS) in unfamiliar and complex environments, Environmental Digital Twins (EDT) that comprise weather, airspace,…