Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis

Open in new window