"Symbolic state-space exploration meets statistical model checking."

Mathis Niehage, Anne Remke (2025)

Details and statistics

DOI: 10.1016/J.PEVA.2024.102449

access: open

type: Journal Article

metadata version: 2024-12-09