Torchless is a procedurally generated competitive dungeon crawling game where players have distinct asymmetric roles while sharing the same screen. Utilizing asymmetry, Torchless explores the relationship between players by experimenting with available information, player power, and player objectives.
East-ADL is an architectural description language dedicated to safety-critical automotive embedded system design. We have previously modified East-adl to include energy constraints and transformed energy-aware real-time behavioral constraints in East-adl into analyzable Uppaal models. In this paper, we extend our previous work by including support for… (More)