ProbReach Cited in 10 Documents (2015–2024) Software Authors: Shmarov, Fedor; Zuliani, Paolo Related Software: StocHy; SReachTools; PRISM; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)
MoChiBA Cited in 9 Documents (2017–2023) Software Authors: Sickert, Salomon; Křetínský, Jan Related Software: PRISM; Owl; SPOT; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
ExplicitPRISMSymm Cited in 2 Documents (2015) Software Authors: Patel, Reema; Patel, Kevin; Patel, Dhiren Related Software: PRISM Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
FACT Cited in 1 Document (2024) Software Authors: Calinescu, R.; Johnson, K.; Paterson, C. Related Software: Eigen; Jani; Sylvan; … Main Fields: Computer science (68-XX)