Showing
1 - 3
results of
3
Skip to content
VuFind
Log in
Library Catalogue Plus
Library
Subject guides
Databases
Referencing
Catalogue
Articles Plus
Keyword
Title
Author
Subject
Find
Advanced Search
Search Results - Alpizar Santana, Misael
Search Results - Alpizar Santana, Misael
Showing
1 - 3
results of
3
Refine Results
Sort
Relevance
Date Descending
Author
Title
1
Loading…
Model-driven design space exploration for multi-robot systems in simulation
by
Harbin, James
,
Gerasimou, Simos
,
Matragkas, Nicholas
,
Zolotas, Thanos
,
Calinescu, Radu
,
Alpizar Santana, Misael
Published in
Software and systems modeling
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
2
Loading…
Controller Synthesis for Autonomous Systems With Deep-Learning Perception Components
by
Calinescu, Radu
,
Imrie, Calum
,
Mangal, Ravi
,
Rodrigues, Genaina Nunes
,
Pasareanu, Corina
,
Santana, Misael Alpizar
,
Vazquez, Gricel
Published in
IEEE transactions on software engineering
Get full text
Items that this one cites
Article
Save to List
Saved in:
3
Loading…
Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components
by
Calinescu, Radu
,
Imrie, Calum
,
Mangal, Ravi
,
Genaína Nunes Rodrigues
,
Păsăreanu, Corina
,
Misael Alpizar Santana
,
Vázquez, Gricel
Published in
arXiv.org
Get full text
Article
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit To
Peer Reviewed
2 results
2
Full Text
3 results
3
Format
Articles
3 results
3
Journal Title
Ieee Transactions On Software Engineering
1 results
1
Software And Systems Modeling
1 results
1
Subjects
Artificial Neural Networks
2 results
2
Collision Avoidance
2 results
2
Computer Science
2 results
2
Computer Science, Software Engineering
2 results
2
Controllers
2 results
2
Deep Learning
2 results
2
Machine Learning
2 results
2
Markov Chains
2 results
2
Perception
2 results
2
Robots
2 results
2
Science & Technology
2 results
2
Synthesis
2 results
2
Technology
2 results
2
Automatic
1 results
1
Autonomous Systems
1 results
1
Autonomous Underwater Vehicles
1 results
1
Compilers
1 results
1
Complexity
1 results
1
Decision Making
1 results
1
Deep Neural Network
1 results
1
Year of Publication
From:
To:
Source
Springer Nature
1 results
1
Ieee Xplore Open Access Journals
1 results
1
Free E- Journals
1 results
1
Ieee Xplore (Online Service)
1 results
1
Ieee Xplore All Journals
1 results
1
Abi/Inform Global
1 results
1
Road: Directory Of Open Access Scholarly Resources
1 results
1
Proquest - Publicly Available Content Database
1 results
1
Springerlink (Online Service)
1 results
1