Generating Optimal Linear Temporal Logic Monitors by Coinduction (2004)

View PDF

Download Links

by Koushik Sen , Grigore Rosu , Gul Agha
Venue:Proceedings of 8th Asian Computing Science Conference (ASIAN’03), volume 2896 of Lecture Notes in Computer Science
Citations:6 - 2 self