TOWARDS THE USAGE OF WINDOW COUNTING CONSTRAINTS IN THE SYNTHESIS OF REACTIVE SYSTEMS TO REDUCE STATE SPACE EXPLOSION.
Saved in:
| Title: | TOWARDS THE USAGE OF WINDOW COUNTING CONSTRAINTS IN THE SYNTHESIS OF REACTIVE SYSTEMS TO REDUCE STATE SPACE EXPLOSION. |
|---|---|
| Authors: | FEEKEN, LINDA1, linda.feeken@dlr.de, FRÄNZLE, MARTIN2 |
| Source: | Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 1, p29:1-29:30, 30p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
