Proprietà temporali nella IF
Scritto il 20 Dicembre 2005 da Roberto Grassi | Categorie: News
Vi segnalo un interessante thread di discussione sulla IF che sta partendo su RAIF.
Hi. I’m soliciting ideas as to interesting temporal properties in IF. Many IF games can be modelled straightforwardly using finite state machines (automata). What are some of the interesting properties?