Metric First-Order Temporal Logic with Complex Data Types.

Jeniffer Lima Graf, Srdan Krstic, Joshua Schneider

Browse the full RV paper archive.