×

Found 2 Software Packages (Results 1–2)

PRISM-games

Software Authors:   Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
Referenced in: 22 Publications (2013–2021)
Related Software: PRISM; MCMAS; EAGLE; MCMAS-SLK; GIST; MOCHA; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

QUASY

Software Authors:   Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara; Singh, Rohit
Referenced in: 5 Publications (2011–2016)
Related Software: PRISM; MOCHA; PRISM-games; GIST; GAVS; UPPAAL TIGA; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)