Towards a Formally Verified EVM in Production Environment.

Xiyue Zhang Yi Li Meng Sun

Published in: COORDINATION (2020)

Keyphrases

real time
dynamic environments
mobile robot
databases
expert systems
indoor environments
data sets
neural network
machine learning
post processing