Showing cs.ROShow all
2 papers · 1 filter
cs.RO2026
Ontology-Driven Robotic Specification Synthesis
Maksym Figat, Ryan M. Mackey, Michel D. Ingham
This paper addresses robotic system engineering for safety- and mission-critical applications by bridging the gap between high-level objectives and formal, executable specification…
cs.RO2025
Simplification of Robotic System Model Analysis by Petri Net Meta-Model Property Transfer
Maksym Figat, Cezary ZieliÅski
This paper presents a simplification of robotic system model analysis due to the transfer of Robotic System Hierarchical Petri Net (RSHPN) meta-model properties onto the model of a…