Cyber-physical systems integrate computation, communication and physical processes, demanding rigorous methods to ensure correct and safe operation over time. Temporal logic specifications offer a ...
a, Results based on the previous algorithm using an exponential auxiliary function. The concave shape of the exponential function fails to match the initial convex trend of the actual robust function ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results