Title | ||
---|---|---|
Optimization Techniques and Formal Verification for the Software Design of Boolean Algebra Based Safety-Critical Systems |
Abstract | ||
---|---|---|
Artificial intelligence, and the ability to learn optimized solutions that comply with a set of safety rules, could facilitate the human-based design process of safety-critical systems. However, the reconciliation of state-of-the-art artificial intelligence technology with current safety standards and safety engineering processes is a challenge to be addressed. In this article, this publication de... |
Year | DOI | Venue |
---|---|---|
2022 | 10.1109/TII.2021.3074394 | IEEE Transactions on Industrial Informatics |
Keywords | DocType | Volume |
Safety,Standards,Tools,Optimization,IEC Standards,Boolean algebra,Artificial intelligence | Journal | 18 |
Issue | ISSN | Citations |
1 | 1551-3203 | 0 |
PageRank | References | Authors |
0.34 | 0 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jon Perez | 1 | 0 | 0.34 |
Jose Luis Flores | 2 | 1 | 2.75 |
Christian Blum | 3 | 0 | 0.34 |
Jesus Cerquides | 4 | 0 | 0.34 |
Alex Abuin | 5 | 0 | 0.34 |