TOWARDS THE USAGE OF WINDOW COUNTING CONSTRAINTS IN THE SYNTHESIS OF REACTIVE SYSTEMS TO REDUCE STATE SPACE EXPLOSION.

Saved in:

Bibliographic Details
Title:	TOWARDS THE USAGE OF WINDOW COUNTING CONSTRAINTS IN THE SYNTHESIS OF REACTIVE SYSTEMS TO REDUCE STATE SPACE EXPLOSION.
Authors:	FEEKEN, LINDA¹, linda.feeken@dlr.de, FRÄNZLE, MARTIN²
Source:	Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 1, p29:1-29:30, 30p
Database:	Applied Science & Technology Source

Description
ISSN:	18605974
DOI:	10.46298/LMCS-22(1:29)2026