Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by J. Esposito
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-Robot Coordination
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Multi-Agent Hybrid System Simulation
Related publications
A Formal Mathematical Framework for Modeling Probabilistic Hybrid Systems
Annals of Mathematics and Artificial Intelligence
Applied Mathematics
Artificial Intelligence
Toward a Multi-Robot Coordination Formalism
A Framework and Architecture for Multi-Robot Coordination
International Journal of Robotics Research
Electronic Engineering
Mechanical Engineering
Applied Mathematics
Simulation
Electrical
Modeling
Artificial Intelligence
Software
Formal Verification of Hybrid Systems
Component Design and Formal Validation of SFA Systems: A Case Study
Leach in Multi-Agent Hybrid Robot Architectures
SCIENTIFIC RESEARCH AND EDUCATION IN THE AIR FORCE
A Framework Based Approach for Formal Modeling and Analysis of Multi-Level Attacks in Computer Networks
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Modeling and Analysis of Object Oriented Systems Using Triple Graph Grammars
International Journal of Embedded and Real-Time Communication Systems
Computer Science
Coordination Algorithm for Multi Robot Collaboration in Soccer Game
International Journal on Advanced Science, Engineering and Information Technology
Agricultural
Engineering
Computer Science
Biological Sciences
