Dec 12, 2013
Congratulations to Austin Jones for successfully presenting his paper, “Distribution Temporal Logic: Combining Correctness with Quality of Estimation,” at CDC 2013 in Florence, Italy.
Congratulations to Austin Jones for successfully presenting his paper, “Distribution Temporal Logic: Combining Correctness with Quality of Estimation,” at CDC 2013 in Florence, Italy.
