μννΈμ¨μ΄ μ μν λͺ¨λΉλ¦¬ν° λλ°μ΄μ€μ μΈνλΌμ€νΈλμ³ κ° AI λΆμ
μ°μ°μ μ€μκ° μ±λ₯ κ²μ¦ μμ€ν
λ° λ°©λ²
SYSTEM AND METHOD FOR REAL-TIME PERFORMANCE VERIFICATION OF COLLABORATIVE AI COMPUTING BETWEEN SOFTWARE-DEFINED MOBILITY DEVICE AND INFRASTRUCTURE
- Status
- Application (μΆμ)
- Agency
- Korean Intellectual Property Office
- Number
- 10-2024-0194553
- Inventors
- μ μ©μ€, κ°μ±μ£Ό, κ³ λλ²
- Date
- December 23, 2024
ν¨μ¨μ μΈ μ¬μ΄λ² 물리 μμ€ν
λͺ©ν κ²μ¦μ μν λͺ¨λ°© νμ΅μ νμ©ν κ°μ νκ²½ λͺ¨λΈ μμ± κΈ°λ²
DATA-DRIVEN ENVIRONMENT MODEL GENERATION USING IMITATION LERARING FOR EFFICIENT CPS GOAL VERIFICATION
- Status
- Application (μΆμ)
- Agency
- Korean Intellectual Property Office
- Number
- 10-2023-0083390
- Inventors
- λ°°λν, μ μ©μ€, μ λν
- Date
- June 28, 2023
μ μν μμ€ν
μ ν΅κ³μ κ²μ¦ κΈ°λ° μμΈ‘μ μ μ κΈ°λ²
PROACTIVE ADAPTATION APPROACH BASED ON STATISTICAL MODEL CHECKING FOR SELF-ADAPTIVE SYSTEMS
- Status
- Granted (λ±λ‘)
- Agency
- Korean Intellectual Property Office
- Number
- 10-2021-0061164
- Inventors
- λ°°λν, μ μ©μ€, μ‘°μνΈ
- Date
- May 12, 2021
μμ€ν
μ€λΈ μμ€ν
μ¦ μκ°μ λͺ¨λΈλ§ λ°©λ² λ° μ₯μΉ
System-of-Systems Graphical Modeling Method and Apparatus
- Status
- Granted (λ±λ‘)
- Agency
- Korean Intellectual Property Office
- Number
- 10-2020-0179505
- Inventors
- λ°°λν, λ°±μλ―Ό, Zelalem Belay, μ μ©μ€
- Date
- December 21, 2020