LTL in the Wild: A Decade of Specifying Edge/IoT System Behaviors.

Angeliki Pantiora, Roman Bgli, Timo Kehrer, Christos Tsigkanos

Browse the full COMPSAC paper archive.