According to Geoffrey of Monmouth’s 'The History of the Kings of Britain,' Gwendolen was the daughter of Corineus, the mythical namesake of Cornwall, and became the first queen regnant of the Britons after raising an army to defeat her ex-husband, King Locrinus. #WyrdWednesday

📷: Jared Subia

#Mythology #Literature #GeoffreyOfMonmouth #Gwendolen #Queen #TheHistoryOfTheKingsOfBritain #England

Slicing Agent Programs for More Efficient Verification
(2019) : Michael Winikoff and Louise Dennis and Michael Fisher
DOI: https://doi.org/10.1007/978-3-030-25693-7_8
#BDI #MAS #bounded_model_checking #formal_verification #gwendolen #model_checking #
#my_bibtex