Towards Efficient Implementation of Realizability Checking for Reactive System Specifications.
Masaya ShimakawaAtsushi UenoShohei MochizukiTakashi TomitaShigeki HagiharaNaoki YonezakiPublished in: ICSCA (2019)
Keyphrases
- efficient implementation
- reactive systems
- active set
- formal specification
- efficient processing
- high level
- hardware implementation
- agent architecture
- highly parallel
- reactive planning
- delay insensitive
- general purpose
- functional requirements
- specification language
- block matching motion estimation
- consistency checking
- control flow
- structuring elements
- temporal logic
- semi supervised
- pairwise