Abstract: Reliable and provably correct performance of control systems in the presence of various types of uncertainties and disturbances are essential objectives that require high integrity of the ...

Abstract: The rapid advancement of large language models (LLMs) creates new opportunities in cyber-physical systems, particularly in natural language interaction and decision support. However, the ...

Verifying that the model's thought process is adequate for a given task; Learning of new insights by simple inspection of the model; Manual refinement of the model at a later time. These levels of ...