J
J. Choi
Publications - 1
Citations - 8
J. Choi is an academic researcher. The author has contributed to research in topics: Model checking & Autonomous system (Internet). The author has an hindex of 1, co-authored 1 publications receiving 7 citations.
Papers
More filters
Dissertation
Model checking for decision making behaviour of heterogeneous multi-agent autonomous system
TL;DR: The feasibility of model checking algorithms as a verification tool of a multi- agent system in an initial design stage is demonstrated and can be an important first step of the certification of multi-agent autonomous systems for the domains of robotics, aerospace and aeronautics.