Nested weighted automata

Faster statistical model checking for unbounded temporal properties