Traversing the Abyss : Formal Exploration of Intricate State Space

Author(s):
Tanishq Sharma, Sakthivel Ramaiah, Craig Deaton