Trace Relations and Logical Preservation for Continuous-Time Markov Decision Processes.

Arpit Sharma

Browse the full ICTAC paper archive.