The FABRIC Strategy for Verifying Neural Feedback Systems
Created by
- Haebom
Category
Empty
μ μ
I. Samuel Akinwande, Sydney M. Katz, Mykel J. Kochenderfer, Clark Barrett
π‘ κ°μ
λ³Έ μ°κ΅¬λ μ κ²½λ§μΌλ‘ μ μ΄λλ λμ μμ€ν
(μ κ²½ νΌλλ°± μμ€ν
)μ μμ μ± κ²μ¦μ μν μλ‘μ΄ μ κ·Ό λ°©μμΈ FABRIC(Forward and Backward Reachability Integration for Certification) μ λ΅μ μ μν©λλ€. κΈ°μ‘΄μλ μ£Όλ‘ μλ°©ν₯ λλ¬ κ°λ₯μ± λΆμμ μ§μ€λμμΌλ, λ³Έ λ
Όλ¬Έμ μλ°©ν₯ λλ¬ κ°λ₯μ± λΆμμ μκ³ λ¦¬μ¦μ κ°λ°νκ³ μ΄λ₯Ό μλ°©ν₯ λΆμκ³Ό ν΅ν©νμ¬ μ κ²½ νΌλλ°± μμ€ν
μ μνμ λμ± μ ννκ³ ν¨μ¨μ μΌλ‘ νμ
νλ λ°©λ²μ μ μν©λλ€. μ΄λ₯Ό ν΅ν΄ μ΄μ μ°κ΅¬ λλΉ μ±λ₯μ΄ ν¬κ² ν₯μλμμμ μ
μ¦ν©λλ€.
π μμ¬μ λ° νκ³
β’
μ κ²½ νΌλλ°± μμ€ν
μ μμ μ± κ²μ¦μ λν λ³΄λ€ ν¬κ΄μ μΈ λΆμ λ°©λ²λ‘ μ μ μν©λλ€.
β’
μλ°©ν₯ λλ¬ κ°λ₯μ± λΆμ κΈ°λ²μ λ°μ κ°λ₯μ±μ 보μ¬μ£Όλ©°, κΈ°μ‘΄ μλ°©ν₯ λΆμκ³Όμ ν΅ν©μ ν΅ν΄ ν¨μ¨μ±μ μ¦λμμΌ°μ΅λλ€.
β’
μ μλ FABRIC μ λ΅μ μ€μ 볡μ‘νκ³ λκ·λͺ¨ μ κ²½ νΌλλ°± μμ€ν
μ λν νμ₯μ± λ° μ μ© κ°λ₯μ±μ λν μΆκ°μ μΈ μ°κ΅¬κ° νμν©λλ€.
