Automated planning as an early verification tool for distributed control
From MaRDI portal
Publication:2352501
DOI10.1007/s10817-014-9313-1zbMath1315.68178MaRDI QIDQ2352501
Publication date: 2 July 2015
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-014-9313-1
formal verification; distributed control; model checking; automated planning; automotive; reactive control; requirements engineering; action priority; component based systems; early verification; logical faults
68Q60: Specification and verification (program logics, model checking, etc.)
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Uses Software