Mahmoud Khaled Mohamed Mahmoud

1 Patent

• US117094712023

  Distributed Automated Synthesis of Correct-by-construction Controllers

  Technische Universität München

  0 cites