Showing 2026Show all
2 papers · 1 filter
eess.SY2026
Constraint-Driven Synthesis of Hyper Petri Nets
Maksym Figat, Alessandro Pinto
This paper addresses the modeling and synthesis of constrained robotic system behaviors using Petri nets (PNs). It investigates how to construct models in which all observable syst…
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…