Slicing Agent Programs for more Efficient Verification (2018)
Attributed to:
Future AI and Robotics Hub for Space (FAIR-SPACE)
funded by
ISCF
Abstract
No abstract provided
Bibliographic Information
Publication URI: http://emas2018.dibris.unige.it/images/papers/EMAS18-07.pdf
Type: Conference/Paper/Proceeding/Abstract