Home /Research /Please follow the rules: surgical workflow recognition constrained by linear temporal logic.
SURGICAL

Please follow the rules: surgical workflow recognition constrained by linear temporal logic.

Tayupo D, Huaulmé A, Nyangoh Timoh K, Baxter JSH, Jannin P

Year
2026
Journal
International journal of computer assisted radiology and surgery

Keywords

surgical workflowlinear temporal logicrecognitionconstraints

Related papers

Browse all SURGICAL papers