140 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- University of GuilanIR8 papers
- UNSW SydneyAU7 papers
- Yazd UniversityIR5 papers
- Graduate University of Advanced TechnologyIR2 papers
- Institute for Research in Fundamental SciencesIR2 papers
- Institute of Science and Technology AustriaAT2 papers
- Université du littoral côte d'opaleFR2 papers
- University of KurdistanIR2 papers
- University of NeyshaburIR2 papers
- Bauhaus-Universität WeimarDE1 paper
- Brandon UniversityCA1 paper
- Gran Sasso Science InstituteIT1 paper
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2024★ 3 cited
1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization
Muqsit Azeem, Debraj Chakraborty, Sudeep Kanav +4
Despite the advances in probabilistic model checking, the scalability of the verification methods remains limited. In particular, the state space often becomes extremely large when…
cs.AI2018★ 1 cited
A note on belief structures and S-approximation spaces
Ali Shakiba, Amir Kafshdar Goharshady, MohammadReza Hooshmandasl +1
We study relations between evidence theory and S-approximation spaces. Both theories have their roots in the analysis of Dempster's multivalued mappings and lower and upper probabi…