- Model checking discounted temporal properties Luca de Alfaro Marco Faella Thomas A. Henzinger Rupak Majumdar Marielle Stoelinga Fri 28 February 2014
- Automated temporal reasoning about reactive systems E. Allen Emerson Thu 31 January 2013
Library Size: 13G (2 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
