Published

Computer Science

Synthesis of Switching Rules for Ensuring Reachability Properties of Sampled Linear Systems

Published on - International Workshop on Verification of Infinite State Systems (INFINITY)

Authors: Romain Soulat, Bertrand Revol, Laurent Fribourg

See the publication on HAL