Marco Daniele

Learn More
We improve the state-of-the-art algorithm for obtaining an automaton from a linear temporal logic formula. The automaton is intended to be used for model checking, as well as for satisfiability checking. Therefore, the algorithm is mainly concerned with keeping the automaton as small as possible. The experimental results show that our algorithm outperforms(More)
Auditory hallucinations are experienced by 60-80% of person with schizophrenia and can often cause significant distress behavioural dyscontrol. The application of rTMS in the left temporoparietal cortex could modulate the neuronal activation and reduce the occurrence of auditory disperceptions. Sixteen schizophrenic patients (treated with atypical(More)
  • 1