Nishant Parekh, Wolfgang Ahrendt, Martin Fabian. On Detecting Bias in Smart Contracts Using Supervisor Synthesis. In 18th International Workshop on Discrete Event Systems, WODES 2026, Eindhoven, Netherlands, June 8-10, 2026. pages 259-264, IEEE, 2026. [doi]
Abstract is missing.