Steady-State Policy Synthesis for Verifiable Control.

Alvaro Velasquez

Browse the full IJCAI paper archive.