2 papers indexed here
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
This work presents AgenticRV, a runtime-verification architecture that separates these boundaries from the monitoring formalism, and supports reuse of monitoring methods at explicit control boundaries, subject to the stated observation and deployment assumptions.
Runtime Verification is well suited to autonomous and robotic systems because it checks the behaviour that is actually observed during execution. Its main limitation, however, is that it is usually reactive: the monitor detects a violation only after the system has already performed a bad event. This can be too late in...
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
