Yago Isasi Parache

Latest

• Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification