Filter your results
- 2
- 1
- 3
- 3
- 2
- 1
- 3
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Online Verification through Model Checking of Medical Critical Intelligent Systems2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), Jun 2020, Valencia, Spain. pp.32-37, ⟨10.1109/DSN-W50199.2020.00015⟩
Conference papers
hal-03967999v1
|
||
A Self-Certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial IntelligenceInternational Workshop on Artificial Intelligence Safety Engineering, 2019, Turku, Finland
Conference papers
hal-02297049v1
|
|||
Online Verification through Model Checking of Medical Critical Intelligent Systems2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), Jun 2020, Valencia, Spain. pp.32-37, ⟨10.1109/DSN-W50199.2020.00015⟩
Conference papers
hal-03996783v1
|