Modeling Unpredictable or Random Environments

Jeannette M. Wing

Given formal specifications of a system and a desired property of that system, the verification question is "Does this property hold of this system?" My longstanding interest in the specification and verification area has recently turned to autonomous and embedded systems. Typical autonomous systems are unmanned spacecraft and planetary exploration robots. Typical embedded systems are controllers found in aircraft and automobiles, though they are increasingly found in household appliances and consumer electronics.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.