共 23 条
[1]
[Anonymous], FORM ASP COMPUT, DOI DOI 10.1007/BF01211866)
[2]
[Anonymous], 1998, An introduction to stochastic modeling
[3]
[Anonymous], 1967, Mathematical logic
[4]
[Anonymous], 2012, MACHINE LEARNING PRO
[6]
Calder M, 2018, MAKING SENSE WORLD M
[7]
Department for Business Energy & Industrial Strategy, 2015, TURN POL QUEST AN FR
[8]
Epstein JM, 2008, JASSS-J ARTIF SOC S, V11
[9]
Fisher M., 2011, An Introduction to Practical Formal Methods Using Temporal Logic
[10]
Forrester J.W., 1968, Principles of systems