most citedStatistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2019

Revisiting MITL to Fix Decision Procedures

Nima Roohi, Mahesh Viswanathan

Metric Interval Temporal Logic (MITL) is a well studied real-time, temporal logic that has decidable satisfiability and model checking problems. The decision procedures for MITL re…