activity
20202023
most citedFETA: Fairness Enforced Verifying, Training, and Predicting Algorithms for Neural Networks

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

collaborators
Showing cs.DSShow all

1 paper · 1 filter

cs.DS2020★ 1 cited

Faster Algorithms for Quantitative Analysis of Markov Chains and Markov Decision Processes with Small Treewidth

Ali Asadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady +2

Discrete-time Markov Chains (MCs) and Markov Decision Processes (MDPs) are two standard formalisms in system analysis. Their main associated quantitative objectives are hitting pro…