Login / Signup
Mapping natural language procedures descriptions to linear temporal logic templates: an application in the surgical robotic domain.
Marco Bombieri
Daniele Meli
Diego Dall'Alba
Marco Rospocher
Paolo Fiorini
Published in:
Appl. Intell. (2023)
Keyphrases
</>
linear temporal logic
natural language
domain specific
knowledge representation
natural language descriptions
model checking
domain independent
surgical training
temporal logic
high level
web services
robotic systems
robot assisted
general purpose
object oriented
domain description
bounded model checking