Runtime Verification via Rational Monitor with Imperfect Information

Angelo Ferrando, Vadim Malvone

Trusting software systems, particularly autonomous ones, is challenging. To address this, formal verification techniques can ensure these systems behave as expected. Runtime Verifi…