Process-Algebraic Semantics for Verifying Intelligent Robotic Control Software.

Wed, 01 Jan 2025 00:00:00 +0100

Ziggy Attala , Fang Yan , Simon Foster , Ana Cavalcanti , Jim Woodcock :
Process-Algebraic Semantics for Verifying Intelligent Robotic Control Software. NFM 2025: 11-30