Real-time locating system and digital twin in Lean 4.0.

Tuan Anh Tran, Tams Ruppert, Gyrgy Eigner, Jnos Abonyi

Browse the full SACI paper archive.