Split Transition Power Abstraction for Unbounded Safety.

Martin Blicha Grigory Fedyukovich Antti E. J. Hyvärinen Natasha Sharygina

Published in: FMCAD (2022)

Keyphrases

power consumption
high level
traffic accidents
multiscale
multi agent
learning environment
digital libraries