„Temporal Logic“

Suchergebnisse

1.000+ Treffer

• The temporal logic of branching time
  Ben-Arî, Môtî ; Pnueli, Amir ; Manna, Zohar
• Temporal Sleuth Machine with decision tree for temporal classification
  Ooi, Shih Yin ; Tan, Shing Chiang ; Cheah, Wooi Ping
• Software Engineering and Formal Methods – 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings
  Hierons, Robert M. ; Merayo, Mercedes G. ; Bravetti, Mario 2014 Springer International Publishing
• A new method of determining decision-making unit congestion under inter-temporal dependence
  Shahsavan, Tahereh ; Sanei, Masoud ; Tohidi, Ghasem ; Lotfi, Farhad Hosseinzadeh ; Ghobadi, Saeid
• Strukturelle Testverfahren zur Verifikation existentieller temporallogischer Formeln in erweiterten endlichen Zustandsmaschinen
  Spisländer, Marc ; Freiling, Felix C. ; Saglietti, Francesca 2018 Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)
• WebGIS based on spatio-temporal hot spots: an application to oto-laryngo-pharyngeal diseases
  Di Martino, Ferdinando ; Mele, Roberta ; Sessa, Salvatore ; Barillari, Umberto E. S. ; Barillari, Maria Rosaria
• The Inherent Structure of Experiments as a Constraint to Spatial Analysis and Modeling
  Scheider, Simon ; Verstegen, Judith 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking
  Piribauer, Jakob ; Baier, Christel ; Bertrand, Nathalie ; Sankur, Ocan 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Finding temporal asymmetry within the many, many worlds of Everettian quantum mechanics
  Corry, Richard
• Retrodictive and predictive attentional modulation in temporal binding
  Pedersen, Rasmus
• Temporal externalist descriptivism on natural kind terms: beyond the causal–historical analysis
  Iikawa, Haruka ; Sasaki, Go
• Singular thought without temporal representation?
  Hoerl, Christoph
• Common-sense temporal ontology: an experimental study
  Graziani, Ernesto ; Orilia, Francesco ; Capitani, Elena ; Burro, Roberto
• The a-theory of time, temporal passage, and comprehensiveness
  Eker, Bahadir
• Temporal Ontology and the Metaphysics of Perspectives
  Solomyak, Olla
• Intergenerational Rights and the Problem of Cross-Temporal Relations
  Griffith, Aaron M.
• 26th International Symposium on Temporal Representation and Reasoning (TIME 2019)
  Gamper, Johann ; Pinchinat, Sophie ; Sciavicco, Guido 2019 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Temporal logic verification of lock-freedom
  Tofan, Bogdan ; Bäumler, Simon ; Schellhorn, Gerhard ; Reif, Wolfgang ; Bolduc, Claude ; Desharnais, Jules ; Ktari, Béchir 2010 Universität Augsburg
• Cross-domain Spatio-temporal and Multi-scale Residual Attention Mechanisms for Robust EEG Motor Imagery Classification
  Mathiyazhagan, Sathish ; Devasena, M. S. Geetha
• Model predictive control for on-orbit inspection mission with signal temporal logic specifications
  Zhao, Zeyang ; Zhang, Jian ; Zhang, Yi ; Shen, Qiang