Search Results - "alternating Turing machine"

1

On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions

by Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
Published 2017-09-01
“... the complexity class of problems decided by exponential-time bounded alternating Turing Machines making a...”

Get full text

Article
2

Model checking coalitional games in shortage resource scenarios

by Dario Della Monica, Margherita Napoli, Mimmo Parente
Published 2013-07-01
“... for PRBATL, based on a reduction from the acceptance problem for Linearly-Bounded Alternating Turing Machines...”

Get full text

Article