Temporal Logic Based on Characteristic Functions.

Maroua Bouzid, Antoni Ligeza

Browse the full KI paper archive.