[Bug 581246] [Robotics] Editor support for signal temporal logic (STL) and ROS2 code generation
Bugzilla Link | 581246 |
Status | NEW |
Importance | P3 enhancement |
Reported | Dec 19, 2022 04:39 EDT |
Modified | Jan 26, 2023 10:59 EDT |
Version | 2.1.0 |
See also | Gerrit change 197748, Git commit 36537778 |
Description
It would be good to support the editing of formulas/constraints in signal temporal logic with the goal to generate monitors that verify if they hold at runtime.