MoChiBA Cited in 5 Documents (2017–2021) Software Authors: Sickert, Salomon; Křetínský, Jan Related Software: PRISM; Rabinizer; Owl; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
ProbReach Cited in 4 Documents (2015–2022) Software Authors: Shmarov, Fedor; Zuliani, Paolo Related Software: StocHy; SReach; PRISM; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-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)