Union Catalogue of Belgian Libraries
Search
Feedback
About UniCat 
Help
News
Narrow your search
| Listing 1 - 1 of 1 |
Sort by
|
Book
Formal Methods for Autonomous Systems.
Loading...
Authors:
Wongpiromsarn, Tichakorn.
---
Ghasemi, Mahsa.
---
Cubuktepe, Murat.
---
Bakirtzis, Georgios.
---
Carr, Steven.
---
et al.
ISBN: 9781638282730 1638282730 Year: 2023 Publisher: Norwell, MA : Now Publishers,
ISBN: 9781638282730 1638282730 Year: 2023 Publisher: Norwell, MA : Now Publishers,
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
Covering important topics such as synthesis and reinforcement learning it is a comprehensive resource for students, practitioners and researchers on the use of formal methods in modern systems.
| Listing 1 - 1 of 1 |
Sort by
|