Sandor M. Veres
Identifiers
- name variant Sandor M. Veres 0.60 · backfill
Papers (12)
- Fictitious play for cooperative action selection in robot teams cs.MA · 2016 · author #2
- A stochastically verifiable autonomous control architecture with reasoning cs.RO · 2016 · author #3
- SMCL - Stochastic Model Checker for Learning in Games cs.GT · 2016 · author #3
- Testing, Verification and Improvements of Timeliness in ROS processes cs.RO · 2016 · author #3
- Verification of Logical Consistency in Robotic Reasoning cs.RO · 2016 · author #2
- Dynamical Behavior Investigation and Analysis of Novel Mechanism for Simulated Spherical Robot named "RollRoller" cs.RO · 2016 · author #2
- A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods cs.RO · 2016 · author #5
- Collision Avoidance of Two Autonomous Quadcopters cs.RO · 2016 · author #3
- Reducing complexity of autonomous control agents for verifiability cs.SY · 2016 · author #3
- Formal Verification of Autonomous Vehicle Platooning cs.AI · 2016 · author #5
- Practical Verification of Decision-Making in Agent-Based Autonomous Systems cs.LO · 2013 · author #5
- Agent Based Approaches to Engineering Autonomous Space Software cs.MA · 2010 · author #5
Mentions
Frequent Coauthors
- Hongyang Qu 5 shared papers
- Louise A. Dennis 3 shared papers
- Michael Fisher 3 shared papers
- Michalis Smyrnakis 3 shared papers
- Alexei Lisitsa 2 shared papers
- Paolo Izzo 2 shared papers
- Alice Miller 1 shared papers
- Esmaeil Esmaeilzadeh 1 shared papers
- Gethin Norman 1 shared papers
- Jonathan M. Aitken 1 shared papers
- Maryam Kamali 1 shared papers
- Mikhail Svinin 1 shared papers
- Mohammed Y. Hazim 1 shared papers
- Murray L. Ireland 1 shared papers
- Nicholas K. Lincoln 1 shared papers
- Nicholas Lincoln 1 shared papers
- Owen McAree 1 shared papers
- Ruth Hoffmann 1 shared papers
- Seyed Amir Tafrishi 1 shared papers