Property-Directed Verification and Robustness Certification of Recurrent Neural Networks
Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
Topics & Concepts
Recurrent neural networkComputer scienceRobustness (evolution)AutomatonProperty (philosophy)CounterexampleModel checkingArtificial intelligenceCertificationComputabilityArtificial neural networkTheoretical computer scienceAlgorithmMachine learningMathematicsBiochemistryChemistryLawPolitical scienceGeneEpistemologyPhilosophyDiscrete mathematicsAdversarial Robustness in Machine LearningMachine Learning and AlgorithmsFerroelectric and Negative Capacitance Devices