Towards a framework for certification of reliable autonomous systems
Published 2020 View Full Article
- Home
- Publications
- Publication Search
- Publication Details
Title
Towards a framework for certification of reliable autonomous systems
Authors
Keywords
-
Journal
AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS
Volume 35, Issue 1, Pages -
Publisher
Springer Science and Business Media LLC
Online
2020-12-23
DOI
10.1007/s10458-020-09487-2
References
Ask authors/readers for more resources
Related references
Note: Only part of the references are listed.- Verifiable Self-Aware Agent-Based Autonomous Systems
- (2020) Louise A. Dennis et al. PROCEEDINGS OF THE IEEE
- Self-Awareness for Autonomous Systems
- (2020) Nikil Dutt et al. PROCEEDINGS OF THE IEEE
- On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots
- (2019) Paul Bremner et al. PROCEEDINGS OF THE IEEE
- Machine ethics: the design and governance of ethical ai and autonomous systems [scanning the issue]
- (2019) Alan F. Winfield et al. PROCEEDINGS OF THE IEEE
- Ways of thinking in informatics
- (2019) Christopher Frauenberger et al. COMMUNICATIONS OF THE ACM
- Formal Specification and Verification of Autonomous Robotic Systems
- (2019) Matt Luckcuck et al. ACM COMPUTING SURVEYS
- Machine learning for automatic rule classification of agricultural regulations: A case study in Spain
- (2018) Borja Espejo-Garcia et al. COMPUTERS AND ELECTRONICS IN AGRICULTURE
- Natural Language Processing for Requirements Engineering: The Best Is Yet to Come
- (2018) Fabiano Dalpiaz et al. IEEE SOFTWARE
- On the Testability of BDI Agent Systems
- (2018) M. Winikoff et al. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH
- R2U2: monitoring and diagnosis of security threats for unmanned aerial systems
- (2017) Patrick Moosbrugger et al. FORMAL METHODS IN SYSTEM DESIGN
- High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control
- (2017) IEEE CONTROL SYSTEMS MAGAZINE
- Fully Autonomous Driving: Where Technology and Ethics Meet
- (2017) Dieter Birnbacher et al. IEEE INTELLIGENT SYSTEMS
- Policy learning in continuous-time Markov decision processes using Gaussian Processes
- (2017) Ezio Bartocci et al. PERFORMANCE EVALUATION
- Mining Domain Knowledge on Service Goals From Textual Service Descriptions
- (2017) Neng Zhang et al. IEEE Transactions on Services Computing
- A deep learning framework for financial time series using stacked autoencoders and long-short term memory
- (2017) Wei Bao et al. PLoS One
- Formal verification of ethical choices in autonomous systems
- (2016) Louise Dennis et al. ROBOTICS AND AUTONOMOUS SYSTEMS
- Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study
- (2016) Matt Webster et al. IEEE Transactions on Human-Machine Systems
- Practical verification of decision-making in agent-based autonomous systems
- (2014) Louise A. Dennis et al. Automated Software Engineering
- Formal specification and verification of a coordination protocol for an automated air traffic control system
- (2014) Yang Zhao et al. SCIENCE OF COMPUTER PROGRAMMING
- Optimized temporal monitors for SystemC
- (2012) Deian Tabakov et al. FORMAL METHODS IN SYSTEM DESIGN
- Building safer robots: Safety driven control
- (2012) Roger Woodman et al. INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH
- PTIME
- (2012) Pauline M. Berry et al. ACM Transactions on Intelligent Systems and Technology
- Model checking agent programming languages
- (2011) Louise A. Dennis et al. Automated Software Engineering
- Stone toolmaking and the evolution of human culture and cognition
- (2011) D. Stout PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY B-BIOLOGICAL SCIENCES
- Safe Adaptive Compliance Control of a Humanoid Robotic Arm with Anti-Windup Compensation and Posture Control
- (2010) Said Ghani Khan et al. International Journal of Social Robotics
- LTL satisfiability checking
- (2010) Kristin Y. Rozier et al. International Journal on Software Tools for Technology Transfer
- Approximations of Stochastic Hybrid Systems
- (2009) A.A. Julius et al. IEEE TRANSACTIONS ON AUTOMATIC CONTROL
- Applying Formal Methods to a Certifiably Secure Software System
- (2008) Constance Heitmeyer et al. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Find the ideal target journal for your manuscript
Explore over 38,000 international journals covering a vast array of academic fields.
SearchAsk a Question. Answer a Question.
Quickly pose questions to the entire community. Debate answers and get clarity on the most important issues facing researchers.
Get Started