Chapter

A Big Challenge: Tools to Guarantee Robust and Controlled Behavior of Large Language Models