Temporal Logic Based on Characteristic Functions

• Authors:

• Maroua Bouzid;Antoni Ligeza

• Affiliations:

• -;-

• Venue:
• KI '95 Proceedings of the 19th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
• Year:
• 1995