Francesco Flammini

Francesco Flammini

Full Professor, PhD in Computer Engineering, IEEE Senior Member, ACM Distinguished …
在 ieee.org 的电子邮件经过验证
被引用次数：4626
resilient cyber-physical systems homeland security performability modeling safe autonomy intelligent transportation
Sayan Mitra

Sayan Mitra

University of Illinois at Urbana Champaign
在 illinois.edu 的电子邮件经过验证
被引用次数：4551
Hybrid systems Formal methods Cyber-physical Systems Autonomous Systems Safe autonomy
James Weimer

James Weimer

Vanderbilt University
在 vanderbilt.edu 的电子邮件经过验证
被引用次数：2923
Internet of Medical Things Safe Autonomy Cyber-Physical Security
Lars Kunze

Lars Kunze

Bristol Robotics Laboratory, School of Engineering, UWE Bristol, UK
在 uwe.ac.uk 的电子邮件经过验证
被引用次数：2296
Cognitive Robotics AI Scene Understanding Commonsense Reasoning Safe Autonomy
Radoslav Ivanov

Radoslav Ivanov

Rensselaer Polytechnic Institute
在 rpi.edu 的电子邮件经过验证
被引用次数：1148
Safe Autonomy Neural Network Verification Sensor Fusion
Nathaniel Hamilton

Nathaniel Hamilton

AI Scientist, Parallax Advanced Research
在 parallaxresearch.org 的电子邮件经过验证
被引用次数：1074
autonomous vehicles safe autonomy reinforcement learning
Mark L. Mote

Mark L. Mote

Pytheia
在 pytheia.com 的电子邮件经过验证
被引用次数：1004
computer vision control theory machine learning run time assurance safe autonomy
Yulong Gao

Yulong Gao

Department of Electrical and Electronic Engineering, Imperial College London
在 imperial.ac.uk 的电子邮件经过验证
被引用次数：715
Control theory Networked systems Formal verification Safe autonomy Human-in-the-Loop Control
Jeevith Hegde

Jeevith Hegde

Norwegian University of Science and Technology (NTNU)
在 ntnu.no 的电子邮件经过验证
被引用次数：530
Risk modelling System safety Safety Instrumented Systems Safe autonomy Subsea engineering
Ravi Mangal

Ravi Mangal

Carnegie Mellon University
在 andrew.cmu.edu 的电子邮件经过验证
被引用次数：473
Trustworthy AI Formal Methods Machine Learning Safe Autonomy Program Verification
1 - 10