AN
alexandra newcomb
Department of Electrical Engineering and Computer Science, Embry-Riddle Aeronautical University
United States
- Frontiers in Computer Science
- Theoretical Computer Science
- Research Topics
- Verifying Autonomy: Formal Methods for Reliable Decision-Making
Verifying Autonomy: Formal Methods for Reliable Decision-Making
459
Total downloads
4,149
Total views and downloads
9 Authors
- MG
manuel gonzález-hidalgo
Laboratory for Artificial Intelligence Applications (LAIA@UIB), Department of Mathematics and Computer Science, University of the Balearic Islands
Spain
- MM
miquel miró-nicolau
Unitat de Gràfics i Visió per Ordinador (UGiVIA) Research Group, Department of Mathematics and Computer Science, University of the Balearic Islands
Spain
- OO
omar ochoa
Department of Electrical Engineering and Computer Science, Embry-Riddle Aeronautical University
United States
- AG
adel ghazel
Univ Rouen Normandie, ESIGELEC, Normandie Univ, IRSEEM UR 4353
France
- AJ
antoni jaume-i-capó
Unitat de Gràfics i Visió per Ordinador (UGiVIA) Research Group, Department of Mathematics and Computer Science, University of the Balearic Islands
Spain
- GM
gabriel moyà-alcover
Unitat de Gràfics i Visió per Ordinador (UGiVIA) Research Group, Department of Mathematics and Computer Science, University of the Balearic Islands
Spain
- JA
juan antonio palmer sancho
Hospital Universitari Son Espases
Spain
- MG
maria gemma sempere campello
Hospital Universitari Son Espases
Spain
