Yiannis Kantaros

Yiannis Kantaros

Assistant Professor, Washington University in St. Louis
Zweryfikowany adres z wustl.edu
Cytowane przez 1786
Robotics Task and Motion Planning Machine Learning Applied Formal Methods
Mathieu Jan

Mathieu Jan

CEA, List
Zweryfikowany adres z cea.fr
Cytowane przez 1708
real time systems embedded systems applied formal methods formal safety and security
Sajed Miremadi, Ph.D.

Sajed Miremadi, Ph.D.

Volvo Cars Corporation
Zweryfikowany adres z volvocars.com
Cytowane przez 590
Applied Formal Methods
Paolo Modesti

Paolo Modesti

Senior Lecturer in Cybersecurity, Teesside University, UK, Europe
Zweryfikowany adres z tees.ac.uk
Cytowane przez 359
Security Protocols Applied Formal Methods Language Based Security Code Generation
David Sinclair

David Sinclair

School of Computing, Lero, Dublin City University
Zweryfikowany adres z computing.dcu.ie
Cytowane przez 237
Software Engineering Distributed Systems Cloud Computing Applied Formal Methods Artificial Intelligrnace in Strategic Games
Xusheng Luo

Xusheng Luo

Postdoctoral Associate at Carnegie Mellon University; Duke
Zweryfikowany adres z andrew.cmu.edu
Cytowane przez 198
Planning and Control Applied Formal Methods Robotics Cyber-Physical Systems