Formal Methods for Safe Autonomy Cover

Formal Methods for Safe Autonomy

Data-driven Verification, Synthesis, and Applications

Publisher:Association for Computing Machinery

By: Fan Chuchu

Paid access

|Oct 2024

E-Book €42.00Institutions €126.00

E-Book €42.00Institutions €126.00

Metrics

PDF ISBN: 979-8-4007-0866-4 | E-Pub ISBN: 979-8-4007-0864-0

Publisher: Association for Computing Machinery

Copyright owner: © 2025 Association for Computing Machinery

Publication date: 2024

Language: English

Pages: 184

Related subjects:

Introductions and overviews,

Engineering, other

People also read

Intelligent Technologies for Automated Electronic Systems

.blurhash-client-img { display: none !important; }

Intelligent Technologies for Automated Electronic Systems

S Kannadhasan, Jyotir Moy Chatterjee, R Nagarajan, P Ashok, N Shanmugasundaram

Formal Verification of Just-in-Time Compilation

.blurhash-client-img { display: none !important; }

Formal Verification of Just-in-Time Compilation

Aurèle Barrière

Principles of Automation and Control

.blurhash-client-img { display: none !important; }

Principles of Automation and Control

Analysis of Boundedness and Safeness in a Petri Net-Based Specification of Concurrent Control Systems

Analysis of Boundedness and Safeness in a Petri Net-Based Specification of Concurrent Control Systems

Marcin Wojnakowski

Managing AI Risk

.blurhash-client-img { display: none !important; }

Managing AI Risk

Andrew Pattison

Artificial Intelligence Resources in Control and Automation Engineering

.blurhash-client-img { display: none !important; }

Artificial Intelligence Resources in Control and Automation Engineering

Evelio J González, Leopoldo Acosta Sánchez, Alberto F. Hamilton Castro

Federated Learning Based Intelligent Systems to Handle Issues and Challenges in IoVs (Part 1)

.blurhash-client-img { display: none !important; }

Federated Learning Based Intelligent Systems to Handle Issues and Challenges in IoVs (Part 1)

Shelly Gupta, Hardeo Kumar Thakur, Puneet Garg, Satya Prakash Yadav, Jyoti Agarwal

Software Craftsmanship Using AI

.blurhash-client-img { display: none !important; }

Software Craftsmanship Using AI

Almantas Karpavičius

Artificial Intelligence: Models Algorithms and Applications

.blurhash-client-img { display: none !important; }

Artificial Intelligence: Models Algorithms and Applications

Terje Solsvik Kristensen

Securing Industrial Control Systems and Safety Instrumented Systems

.blurhash-client-img { display: none !important; }

Securing Industrial Control Systems and Safety Instrumented Systems

Jalal Bouhdada, Marco Ayala