2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.FL2026
Active Inference of Extended Finite State Machine Models with Registers and Guards
Roland Groz, German Eduardo Vega Baez, Adenilso Simao +3
Extended finite state machines (EFSMs) model stateful systems with internal data variables and have numerous applications in software engineering. A major advantage of this type of…
cs.SE2022★ 2 cited
Testing Causality in Scientific Modelling Software
Andrew G. Clark, Michael Foster, Benedikt Prifling +4
From simulating galaxy formation to viral transmission in a pandemic, scientific models play a pivotal role in developing scientific theories and supporting government policy decis…