Get started
Author

James Ortiz

Execution-Time Opacity Logic: A Logic for Ensuring ET-Opacity in Timed Systems
2026 · Leneutre, Jean, Marinho, Dylan, et al. · arXiv (Cornell University)
PDF
A Verification Framework for Obstruction, Probability, and Time
2026 · Wissal Dahani, Jean Leneutre, et al. · Adaptive Agents and Multi-Agents Systems
Works count: 2
Citation count:
H-index:
I10-index:
Year
Topic
Type