Sign in
Omar Adalat
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Provably Correct
Action Theories
Controller Synthesis
Situation Calculus
Top Venues
SGAI Conf.
</>
Publications
</>
Omar Adalat
,
Daniele Scrimieri
,
Savas Konur
Optimal Manufacturing Controller Synthesis Using Situation Calculus.
SGAI Conf.
(2023)