Did you mean: automata

search result

Cover von Compositional Active Learning of Synchronizing Systems Through Automated Alphabet Refinement

Compositional Active Learning of Synchronizing Systems Through Automated Alphabet Refinement

Year: 2025
Media group: LIPIcs
Cover von Authoring Programming Exercises for Automated Assessment Assisted by Generative AI

Authoring Programming Exercises for Automated Assessment Assisted by Generative AI

Year: 2024
Media group: OASICS
Cover von Adaptation of Automated Assessment System for Large Programming Courses

Adaptation of Automated Assessment System for Large Programming Courses

Year: 2024
Media group: OASICS
Cover von Formalizing Automated Market Makers in the Lean 4 Theorem Prover

Formalizing Automated Market Makers in the Lean 4 Theorem Prover

Year: 2024
Media group: OASICS
Cover von Synergizing Theory and Practice of Automated Algorithm Design for Optimization; 8
pp. 46-70
Search for this author
Year: 2024
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 8
Media group: DAGSTUHL REPORT
Cover von Nudging human drivers via implicit communication by automated vehicles

Nudging human drivers via implicit communication by automated vehicles

Empirical evidence and computational cognitive modeling : article
Year: 2024
Media group: ARTICLE
Cover von Computational Cognitive Models for Human-Automated Vehicle Interaction
special issue
Search for this author
Year: 2024
Publisher: Amsterdam, Elsevier
Media group: SPECIAL ISSUE
Cover von Privacy Protection of Automated and Self-Driving Vehicles; 6
pp. 22-54
Search for this author
Year: 2024
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 6
Media group: DAGSTUHL REPORT
Cover von Automated Assessment of Simple Web Applications (Short Paper)

Automated Assessment of Simple Web Applications (Short Paper)

Year: 2023
Media group: OASICS
Cover von Automated reasoning with analytic tableaux and related methods
international conference : Oisterwijk, the Netherlands, May 5 - 8, 1998 : proceedings
Search for this author
Year: 1998
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 1397
Media group: MONOGRAPHIE
OPEN V 11.1.0.0