[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.