15 citations · 66 across the 23 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.PL2016★ 10 cited
Termination Analysis of Probabilistic Programs through Positivstellensatz's
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady
We consider nondeterministic probabilistic programs with the most basic liveness property of termination. We present efficient methods for termination analysis of nondeterministic…
math.AT2016
A combinatorial approach to certain topological spaces based on minimum complement S-approximation spaces
M. R. Hooshmandasl, M. Alambardar Meybodi, A. K. Goharshady +1
An S-approximation space is a novel approach to study systems with uncertainty that are not expressible in terms of inclusion relations. In this work, we further examined these spa…