Formal Methods for Safe Autonomy | lit.salon