A temporal configuration logic for dynamic reconfigurable systems.

Antoine El-Hokayem Marius Bozga Joseph Sifakis

Published in: SAC (2021)

Keyphrases

distributed systems
low cost
intelligent systems
dynamic environments
temporal behavior
data sets
general purpose
artificial intelligence
expert systems
hardware implementation
formal methods
multi valued