Papers are filtered by argument. See all the papers.

3 International Journals

14 International Conferences

  • Giuseppe Della Penna, Francesca Fallucchi, Benedetto Intrigila, Daniele Magazzeni, A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers, in: LNAI, Springer-Verlag 4733 pp. 230-241 (2007) 10.1007/978-3-540-74782-6_21 control model checking
  • Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli , Automatic Analysis Of Hybrid Systems With The Murphi Verifier, presented at the 2005 AICA annual conference(AICA 2005) cmurphi model checking
  • Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli, Finite Horizon Analysis of Stochastic Systems with the Murphi Verifier, in: LNCS, Springer-Verlag 2841 (2003) cmurphi model checking

For a plaintext version of this list, click here. For a BibTeX version of this list, click here. Note that only papers with complete publication data are included in the BibTeX bibliography.