Giuseppe De Giacomo
Linear Temporal Logics on Finite Traces: Reasoning, Verification, and Synthesis
invited talk
Categories
ICAPSInternational Conference on Automated Planning and Scheduling
ICAPSGiuseppe De Giacomo
Linear Temporal Logics on Finite Traces: Reasoning, Verification, and Synthesis
invited talk