A Finite Representation of Durational Action Timed Automata Semantics
Sign Up to like & getrecommendations! Published in 2024 at "Mathematics"
DOI: 10.3390/math12244008
Abstract: Durational action timed automata (daTAs) are state transition systems like timed automata (TAs) that capture information regarding the concurrent execution of actions and their durations using maximality-based semantics. As the underlying semantics of daTAs are… read more here.
Keywords: semantics; representation; action timed; durational action ... See more keywords