Abstract In this paper, we consider a model of generalized timed automata (GTA) with two kinds clocks, history and future , that can express many features succinctly, including automata, event-clock without diagonal constraints, timers. Our main contribution is new simulation-based zone algorithm for checking reachability in unified model. While such algorithms are known to exist have recently ...

Abstract Linearized augmented planewaves combined with local-orbitals (LAPW + lo) are arguably the most precise basis set to represent Kohn–Sham states. When employed within real-time time-dependent density functional theory (RT-TDDFT), they promise ultimate precision achievable for exploring evolution of electronic excitations. In this work, we present an implementation RT-TDDFT in full-potent...