All Stories

  1. Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic

    Article • May 2023, ACM (Association for Computing Machinery)

    Gustavo Cardona