Cited By
View all- Budd MLacerda BHawes NWooldridge MDy JNatarajan S(2024)Stop! planner timeProceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence and Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence and Fourteenth Symposium on Educational Advances in Artificial Intelligence10.1609/aaai.v38i18.29983(20053-20060)Online publication date: 20-Feb-2024
- Mohagheghi M(2024)State ordering and classification for analyzing non-sparse large Markov modelsThe Journal of Supercomputing10.1007/s11227-024-06446-680:18(26140-26170)Online publication date: 21-Aug-2024
- Agarwal CGuha SKřetínský JPazhamalai M(2024)PAC statistical model checking of mean payoff in discrete- and continuous-time MDPFormal Methods in System Design10.1007/s10703-024-00463-0Online publication date: 17-Aug-2024
- Show More Cited By