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
3 papers · 1 filter
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…
Biframes and some of their properties
M. Firouzi Parizi, A. Alijani, M. A. Dehghan
Recently, frame multipliers, pair frames, and controlled frames have been investigated to improve the numerical efficiency of iterative algorithms for inverting the frame operator…
The Factor Width Rank of a Matrix
Nathaniel Johnston, Shirin Moein, Sarah Plosker
A matrix is said to have factor width at most if it can be written as a sum of positive semidefinite matrices that are non-zero only in a single principal submatri…