Login / Signup
A Characterization on Necessary Conditions of Realizability for Reactive System Specifications.
Takashi Tomita
Shigeki Hagihara
Masaya Shimakawa
Naoki Yonezaki
Published in:
IEICE Trans. Inf. Syst. (2022)
Keyphrases
</>
sufficient conditions
reactive systems
high level
agent architecture
experimental conditions
information retrieval
image sequences
reinforcement learning
learning environment
model checking
environmental conditions
delay insensitive