"Constructing Concise Characteristic Samples for Acceptors of Omega Regular ..."

Dana Angluin, Dana Fisman (2024)

Details and statistics

DOI: 10.46298/LMCS-20(4:10)2024

access: open

type: Journal Article

metadata version: 2024-11-26