Automatic verification of concurrent stochastic systems - Kwiatkowska, Marta; Norman, Gethin; Parker, David; Santos, Gabriel (Formal methods in system design, 2021)
Keywords: Algorithms; Automation; CAE) and Design; Circuits and Systems; Collaboration; Computer networks; Computer-Aided Engineering (CAD; Cybersecurity; Decision making; Electrical Engineering; Engineering; Equilibrium; Game theory; Games; Horizon; Iterative methods; Linear programming; Mathematical analysis; Players; Polytopes; Robotics; Software Engineering/Programming and Operating Systems; Stochastic systems; Temporal logic; Verification; Quantitative verification; Probabilistic model checking; Nash equilibria; Concurrent stochastic games