We have 2 of 6 papers
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 study organizes security and economic requirements into 17 property families over six stages, with receipt soundness and completeness assessed separately, and introduces guarantee closure, a task-relative criterion for determining whether guarantees established at one stage remain available and constrain the later...
Repeated runs show that category-level and within-trajectory relations can recur even when normalized score-change rankings do not, and motivate agent-behavior evaluation that links communication, authorization, and evolving state instead of treating individual transaction verdicts as complete safety judgments.
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
