Verifying properties of neural networks

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2084 LNCS, Issue PART 1, 2001, Pages 158-165

  Rodrigues, Pedro ^a   Costa, J Félix ^b   Siegelmann, Hava T ^c  

^a UNIVERSITY OF LISBON   (Portugal)

^b INSTITUTO SUPERIOR TÉCNICO   (Portugal)

^c TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; FORMAL VERIFICATION; ARTIFICIAL INTELLIGENCE; FORMAL METHODS; RECURRENT NEURAL NETWORKS;

ANALOG SYSTEMS; COMPUTATIONAL MODEL; COMPUTATIONAL THEORIES; EXPRESSIVE POWER; HYPERCOMPUTATION; INFINITE SYSTEM; TABLEAU SYSTEMS; VERIFICATION OF TEMPORAL PROPERTIES;

RECURRENT NEURAL NETWORKS; FORMAL VERIFICATION;

EID: 33750121174     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45720-8_19     Document Type: Conference Paper

References (11)

1. Bradfield, J.: Verifying Temporal Properties of Systems with Applications to Petri Nets, PhD thesis, University of Edinburgh (1991).
2. Bradfield, J.: Proving Temporal Properties of Petri Nets. In Rozenberg, G. (eds.): Advances in Petri Nets 1991. Lecture Notes in Computer Science, Vol. 524. Springer-Verlag, Berlin (1991) 29-47.
3. Bradfield, J., Stirling, C.:, Local Model Checking for Infinite State Spaces. Theoretical Computer Science, Vol. 96. (1992) 157-174.
4. Emerson, E.A., Lei, C.-L.: Efficient Model Checking in Fragments of the Propositional Mucalculus. Proceedings of the 1st IEEE Symposium on Logic in Computer Science, (1986) 267-278.
5. Gilles, C., Miller, C., Chen, D., Chen, H., Sun, G., Lee, Y.: Learning and Extracting Finite State Automata with Second-Order Recurrent Neural Networks. Neural Computation, Vol. 4 3 (1992) 393-405.
6. Gruau, F., Ratajszczak, J., Wiber, G.: A neural compiler. Theoretical Computer Science, Vol. 141(1-2) (1995) 1-52.
7. Neto, J. P., Siegelmann, H. T., Costa, J. F.: On the Implementation of Programming Languages with Neural Nets. In First International Conference on Computing Anticipatory Systems (CASYS'97) CHAOS, 1 (1998) 201-208.
8. Neto, J. P., Siegelmann, H. T., Costa, J. F.: Building Neural Net Software. submitted, (1999).
9. Pollack, J.: On Connectionism Models of Natural Language Processing. PhD thesis. University of Illinois, Urbana (1987).
10. Siegelmann, H. T.: On NIL: The Software Constructor of Neural Networks. Parallel Processing Letters. Vol. 6 4, World Scientific Publishing Company (1996) 575-582.
11. Siegelmann, H. T.: Neural Networks and Analog Computation: beyond the Turing limit. Birkhäuser, Boston (1999).