Verifying rLTL formulas: now faster than ever before!
- Award ID(s):
- 1645824
- NSF-PAR ID:
- 10122208
- Date Published:
- Journal Name:
- 2018 IEEE Conference on Decision and Control (CDC)
- Page Range / eLocation ID:
- 1556 to 1561
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
No document suggestions found