Michael Bar-Sinai

Performance level profiles: A formal language for describing the expected performance of functional modules

Despite the existence of powerful formal languages for writing robot controllers, most existing functional modules are written using standard programming languages. The existence of such a code base raises critical challenges: 1. How to enable automated analysis, monitoring, and reuse of existing co…