Theodore P. Pavlic

According to our database1, Theodore P. Pavlic authored at least 19 papers between 2009 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 





Bio-inspired Nest-Site Selection for Distributing Robots in Low-Communication Environments.
Proceedings of the Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection, 2018

Bio-inspired Role Allocation of Heterogeneous Teams in a Site Defense Task.
Proceedings of the Distributed Autonomous Robotic Systems, 2018

Trust-Based Information Propagation on Multi-robot Teams in Noisy Low-Communication Environments.
Proceedings of the Distributed Autonomous Robotic Systems, 2018

Functional gradient descent optimization for automatic test case generation for vehicle controllers.
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

Automated synthesis of scalable algorithms for inferring non-local properties to assist in multi-robot teaming.
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

Modeling Concurrency and Reconfiguration in Vehicular Systems: A $π$-calculus Approach.
CoRR, 2016

Utilizing S-TaLiRo as an automatic test generation framework for autonomous vehicles.
Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016

Modeling concurrency and reconfiguration in vehicular systems: A π-calculus approach.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016

Distributed and Cooperative Task Processing: Cournot Oligopolies on a Graph.
IEEE Trans. Cybernetics, 2014

Design of ant-inspired stochastic control policies for collective transport by robotic swarms.
Swarm Intelligence, 2014

Self-referencing cellular automata: A model of the evolution of information control in biological systems.
CoRR, 2014

Using Physical Stigmergy in Decentralized Optimization under Multiple Non-separable Constraints: Formal Methods and an Intelligent Lighting Example.
Proceedings of the 2014 IEEE International Parallel & Distributed Processing Symposium Workshops, 2014

Superorganismic Behavior via Human Computation.
Proceedings of the Handbook of Human Computation, 2013

An Enzyme-Inspired Approach to Stochastic Allocation of Robotic Swarms Around Boundaries.
Proceedings of the Robotics Research, 2013

Physical stigmergy for decentralized constrained optimization: an intelligent lighting example.
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

A stochastic hybrid system model of collective transport in the desert ant aphaenogaster cockerelli.
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

Poster Abstract: Getting Out of the Way - Safety Verification without Compromise.
Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

Generalizing foraging theory for analysis and design.
I. J. Robotics Res., 2011

Foraging theory for autonomous vehicle speed choice.
Eng. Appl. of AI, 2009