Login / Signup
Synthesis Under Environment Specifications for Reachability and Safety Properties.
Benjamin Aminof
Giuseppe De Giacomo
Antonio Di Stasio
Hugo Francon
Sasha Rubin
Shufang Zhu
Published in:
EUMAS (2023)
Keyphrases
</>
desirable properties
structural properties
autonomous agents
multi agent systems
dynamic environments
mobile robot
reactive systems
environmental conditions
formal specification
logic programs
database
high level
case study
information retrieval
machine learning
data sets
real time