no code implementations • 4 Dec 2022 • Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem
The intuition behind online shielding is to compute at runtime the set of all states that could be reached in the near future.
no code implementations • 17 Dec 2020 • Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem
The intuition behind online shielding is to compute during run-time the set of all states that could be reached in the near future.
Logic in Computer Science