4.8 Article

Autonomics: In search of a foundation for next-generation autonomous systems

Related references

Note: Only part of the references are listed.
Editorial Material Computer Science, Hardware & Architecture

Inside Risks How Might We Increase System Trustworthiness?

Peter G. Neumann

COMMUNICATIONS OF THE ACM (2019)

Article Computer Science, Information Systems

Situation analytics - at the dawn of a new software engineering paradigm

Carl K. Chang

SCIENCE CHINA-INFORMATION SCIENCES (2018)

Proceedings Paper Computer Science, Artificial Intelligence

Experience Report: Log Mining using Natural Language Processing and Application to Anomaly Detection

Christophe Bertero et al.

2017 IEEE 28TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE) (2017)

Proceedings Paper Computer Science, Theory & Methods

Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks

Guy Katz et al.

COMPUTER AIDED VERIFICATION, CAV 2017, PT I (2017)

Article Computer Science, Hardware & Architecture

Situation Analytics: A Foundation for a New Software Engineering Paradigm

Carl K. Chang

COMPUTER (2016)

Article Computer Science, Hardware & Architecture

AN OPEN APPROACH TO AUTONOMOUS VEHICLES

Shinpei Kato et al.

IEEE MICRO (2015)