Research Article
Approximate Bisimulation and Optimization of Software Programs Based on Symbolic-Numeric Computation
| Number of iterations: | Initial state | Solution | Minimum |
| | (1, 1, 1, 1) | (0.91, 0.55, 0.82, 1) | | | (0.92, 0.55, 0.84, 0.99) | (0.92, 0.54, 0.84, 0.99) | |
|
|