Formal Verification of Autonomy Models: From Livingstone to SMV

TitleFormal Verification of Autonomy Models: From Livingstone to SMV
Publication TypeBook Chapter
Year of Publication2006
AuthorsPecheur, C, Simmons R, Engrand P
EditorRouff, C, Hinchey M, Rash J, Truszkowski W, Gordon-Spears D
Book TitleAgent Technology from a Formal Perspective
Series TitleNASA Monographs in Systems and Software Engineering
PublisherSpringer Verlag
URLhttp://lvl.info.ucl.ac.be/Publications/FormalVerificationOfAutonomyModelsFromLivingstoneToSMV