Joseph Cralley

According to our database, Joseph Cralley authored at least 1 paper in 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

TLTk: A Toolbox for Parallel Robustness Computation of Temporal Logic Specifications.

Joseph Cralley, Ourania Spantidi, Bardh Hoxha, Georgios Fainekos

Proceedings of the Runtime Verification - 20th International Conference, 2020