From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “behavioral state” 123

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Feedforward control of flat hybrid automata: a behavioral systems theory approach
2024 Proceedings of the IEEE Conference on Decision & Control, including the Symposium on Adaptive Processes conference-paper Computer Science Formal Methods in Verification

Frederik Zahn, Tobias Kleinert, Veit Hagenmeyer

0

citations
Towards Automatic State Recovery for Replanning
2022 Strathprints: The University of Strathclyde institutional repository (University of Strathclyde) conference-paper Computer Science AI-based Problem Solving and Planning Open access

Stefan-Octavian Bezrucav, Gerard Canal, Andrew Coles, Michael Cashmore, Burkhard J. Corves

2

citations
Uncovering Selective State Space Model's Capabilities in Lifelong Sequential Recommendation
2024 arXiv (Cornell University) preprint Computer Science Recommender Systems and Techniques Open access

Ji-yuan YANG, Yuanzi Li, Jingyu Zhao, Hanbing Wang, Muyang Ma, Jun Ma, +5 more

2

citations
Out of Control: Reducing Probabilistic Models by Control-State Elimination
2020 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Johannes C. Lehmann, Joost-Pieter Katoen

0

citations
Erased, Rerouted, or Rescaled? Post-Training and the Causal Quotient of a Language Model's Belief State
2026 arXiv (Cornell University) preprint Computer Science Topic Modeling Open access

Weihan Li, Tianshi Zheng, Junhao Wu, Xinlei Chen

0

citations
Joint Parameter and State-Space Modelling of Manufacturing Processes using Gaussian Processes
2024 2022 IEEE 20th International Conference on Industrial Informatics (INDIN) conference-paper Computer Science Gaussian Processes and Bayesian Inference

Saksham Kiroriwal, Julius Pfrommer, Hendrik Mende, Robert Heinrich Schmitt, Jürgen Beyerer

1

citations
Enhancing Blockchain Scalability in Power Systems Through Ultra-Fast Second-Layer Channel with Deterministic State Integrity
2026 RWTH Publications (RWTH Aachen) article Computer Science Blockchain Technology Applications and Security Open access

Roua Hamila, César Cazal, Md. Razaul Haque Subho, Ferdinanda Ponci, Thomas Rose, Antonello Monti

0

citations
Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability
2025 conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access

L. Schmid, Tom Peham, Lucas Berent, Markus Michael Müller, Robert Wille

0

citations
Behavioral and neural effects of virtual embodiment in individuals with Body Integrity Dysphoria
2025 Journal of Psychiatric Research article Computer Science Virtual Reality Applications and Impacts Open access

Jasmine T. Ho, Maria Niedernhuber, Vanessa Frei, Marina Scattolin, Robin Bekrater‐Bodmann, Marte Roel Lesur, +2 more

0

citations
StacKAT: Infinite State Network Verification
2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Jules Jacobs, Nate Foster, Tobias Kappé, Dexter C. Kozen, Lily Saada, Alexandra Silva, +1 more

0

citations
Working Age: Providing Occupational Safety through Pervasive Sensing and Data Driven Behavior Modeling
2020 Proceedings of the 30th European Safety and Reliability Conference and 15th Probabilistic Safety Assessment and Management Conference conference-paper Computer Science Context-Aware Activity Recognition Systems Open access

Mariagrazia Fugini, Alessandro Barenghi, Sara Comai, Gerardo Pelosi, Roberto Tedesco, Marteyn van Gasteren, +12 more

12

citations
On the Behavior of the Mixed-Integer SMS-EMOA on Box-Constrained Quadratic Bi-Objective Models
2023 conference-paper Computer Science Advanced Multi-Objective Optimization Algorithms Open access

Ofer M. Shir, Michael Emmerich

2

citations
Artificial intelligence in digital pathology of cutaneous lymphomas: A review of the current state and future perspectives
2023 Seminars in Cancer Biology article Computer Science AI in cancer detection Open access

Thom Doeleman, Liesbeth M. Hondelink, Maarten H. Vermeer, Marijke R. van Dijk, Anne M.R. Schrader

26

citations
Structural Analysis of GRAFCET Control Specifications
2023 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) conference-paper Computer Science Petri Nets in System Modeling

Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay

2

citations
Structural Analysis of GRAFCET Control Specifications
2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Petri Nets in System Modeling Open access

Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay

0

citations
A Rewriting Framework for Interacting Cyber-Physical Agents
2022 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Benjamin Lion, Farhad Arbab, Carolyn Talcott

0

citations
Reflection on the differences between modeling and programming
2022 Software & Systems Modeling editorial Computer Science Model-Driven Software Engineering Techniques Open access

Jeff Gray, Bernhard Rumpe⋆

0

citations
Explainable contextual anomaly detection using quantile regression forests
2023 Data Mining and Knowledge Discovery article Computer Science Anomaly Detection Techniques and Applications Open access

Zhong Li, Matthijs van Leeuwen

26

citations
A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation
2023 2022 IEEE 20th International Conference on Industrial Informatics (INDIN) conference-paper Computer Science Logic, programming, and type systems

Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay

4

citations
A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation
2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Logic, programming, and type systems Open access

Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay

0

citations
Networks of Reaction Systems
2020 International Journal of Foundations of Computer Science article Computer Science semigroups and automata theory

Paolo Bottoni, Anna Labella, Grzegorz Rozenberg

35

citations
Empirical Quantum Advantage in Constrained Optimization from Encoded Unitary Designs
2025 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

0

citations
Evo-RL
2021 Genetic and Evolutionary Computation Conference Companion (GECCO Companion) conference-paper Computer Science Reinforcement Learning in Robotics Open access

Ahmed Hallawa, Thorsten Born, Anke Schmeink, Guido Dartmann, Arne Peine, Lukas Märtin, +3 more

14

citations
EVO-RL: Evolutionary-Driven Reinforcement Learning
2020 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Ahmed Hallawa, Thorsten Born, Anke Schmeink, Guido Dartmann, Arne Peine, Lukas Märtin, +3 more

3

citations
An Expressive Coalgebraic Modal Logic for Cellular Automata
2025 arXiv (Cornell University) preprint Computer Science Cellular Automata and Applications Open access

Henning Basold, Chase Ford, Lulof Pirée

0

citations