3IA
Runtime Monitoring of Supermartingale Certificates
arXiv cs.AI · 15 oct, 06:00
Un artículo académico que propone un método para supervisar en tiempo de ejecución certificados de supermartingala en sistemas dinámicos estocásticos. El enfoque utiliza pruebas secuenciales basadas en apuestas para detectar violaciones del certificado mientras se garantiza un control estadístico sobre las falsas alarmas.
#Investigación