Results 281 to 290 of about 268,099 (291)
Some of the next articles are maybe not open access.
Approximate Conformance Checking for Closed-Loop Systems With Neural Network Controllers
IEEE Transactions on Computer-Aided Design of Integrated Circuits and SystemsHabeeb P, Pavithra Prabhakar
exaly
From COACH to COACH+: Automating output checking with human-in-the-loop
Statistical Journal of the IAOSManel Slokom, Peter-Paul de Wolf
exaly
Book review: Loop checking in logic programming
Mededelingen van het Wiskundig Genootschap, 1997openaire +1 more source
An Approach to Concurrent Control Flow Checking
IEEE Transactions on Software Engineering, 1980exaly
A Sleeper-based Prolog Interpreter with Loop Checks
1994FERRUCCI, Filomena +3 more
openaire +1 more source
LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference
Proceedings of the 39th IEEE/ACM International Conference on Automated Software EngineeringGuangyuan Wu +5 more
openaire +1 more source