Coq, Theorem Proving, Software Correctness, Safety-Critical Systems
Design of Reliable and Resilient Electric Power Systems for Wide-Body All-Electric Aircraft
arxiv.org·12h
The Engineer in the AI Age: The Orchestrator and Architect
thenewstack.io·1h
Incorporating AI Incident Reporting into Telecommunications Law and Policy: Insights from India
arxiv.org·12h
Rethinking Monitoring for AI-Based Technical Support Systems
hackernoon.com·2d
Loading...Loading more...