Found 3 Software Packages (Results 1–3)


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)


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)


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)

Filter Results by …

all top 5

Related Software

all top 3

Main Field