Specification and Efficient Monitoring Beyond STL.

Alexey Bakhirkin, Nicolas Basset

Browse the full TACAS paper archive.