Generating Optimal Linear Temporal Logic Monitors by Coinduction (2003)

by K Sen, G Ro¸su, G Agha
Venue:Proceedings of 8th Asian Computing Science Conference (ASIAN’03), volume 2896 of Lecture Notes in Computer Science