Projects per year
Fingerprint The Fingerprint is created by mining the titles and abstracts of the person's research outputs and projects/funding awards to create an index of weighted terms from discipline-specific thesauri.
- 4 Similar Profiles
Temporal logic
Engineering & Materials Science
Robots
Engineering & Materials Science
Temporal Logic
Mathematics
Decision making
Engineering & Materials Science
Specifications
Engineering & Materials Science
Trajectories
Engineering & Materials Science
Robot
Mathematics
Communication
Engineering & Materials Science
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Projects 2018 2019
- 1 Finished
Swarm-by-logic: Swarm autonomy with receding horizon based temporal logic framework
9/26/18 → 7/1/19
Project: Research project
Temporal logic
Research Output 2011 2018
Efficient grounding of abstract spatial concepts for natural language interaction with robot platforms
Paul, R., Arkin, J., Aksaray, D., Roy, N. & Howard, T. M., Sep 1 2018, In : International Journal of Robotics Research. 37, 10, p. 1269-1299 31 p.Research output: Contribution to journal › Article
Electric grounding
Natural Language
Robot
Robots
Interaction
2
Citations
(Scopus)
Quantifying human decision-making: Implications for bidirectional communication in human-robot teams
Schaefer, K. E., Perelman, B. S., Brewer, R. W., Wright, J. L., Roy, N. & Aksaray, D., Jan 1 2018, Virtual, Augmented and Mixed Reality: Interaction, Navigation, Visualization, Embodiment, and Simulation - 10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Proceedings. Fragomeni, G. & Chen, J. Y. (eds.). Springer- Verlag, p. 361-379 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10909 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Robot
Decision making
Decision Making
Robots
Communication
Challenges with incorporating context into human-robot teaming
Schaefer, K. E., Chen, J. Y. C., Wright, J., Aksaray, D. & Roy, N., Jan 1 2017, SS-17-01: Artificial Intelligene for the Social Good; SS-17-02: Computational Construction Grammar and Natural Language Understanding; SS-17-03: Computational Context: Why It's Important, What It Means, and Can It Be Computed?; SS-17-04: Designing the User Experience of Machine Learning Systems; SS-17-05: Interactive Multisensory Object Perception for Embodied Agents; SS-17-06: Learning from Observation of Humans; SS-17-07: Science of Intelligence: Computational Principles of Natural and Artificial Intelligence; SS-17-08: Wellbeing AI: From Machine Learning to Subjectivity Oriented Computing. AI Access Foundation, p. 347-350 4 p. (AAAI Spring Symposium - Technical Report; vol. SS-17-01 - SS-17-08).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Robots
Decision making
1
Citation
(Scopus)
Informative path planning under temporal logic constraints with performance guarantees
Leahy, K. J., Aksaray, D. & Belta, C., Jun 29 2017, 2017 American Control Conference, ACC 2017. Institute of Electrical and Electronics Engineers Inc., p. 1859-1865 7 p. 7963223. (Proceedings of the American Control Conference).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Temporal logic
Motion planning
Robotics
Entropy
2
Citations
(Scopus)
Time window temporal logic
Vasile, C. I., Aksaray, D. & Belta, C., Aug 29 2017, In : Theoretical Computer Science. 691, p. 27-54 28 p.Research output: Contribution to journal › Article
Temporal logic
Time Windows
Temporal Logic
Finite State Automata
Finite automata