Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

ARCH-COMP18 Category Report: Stochastic Modelling.

A. Abate, H. Blom, N. Cauchi, S. Haesaert, A. Hartmanns, K. Lesser, M. Oishi, V. Sivaramakrishnan, S. Soudjani, C. Vasile, und A. Vinod. ARCH@ADHS, Volume 54 von EPiC Series in Computing, Seite 71-103. EasyChair, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Ioan Scheffel University of Stuttgart

Cristian Tortorella University of Stuttgart

Irini Ioannidou University of Stuttgart

Univ. -Prof. Dr. Ioan-Mihai Pop University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

On the power of enzymatic numerical P systems.C. Vasile, A. Pavel, I. Dumitrache, und G. Paun. Acta Inf., 49 (6): 395-412 (2012)A software system for collaborative robotics applications and its application in particle swarm optimization implementations.C. Vasile, und C. Buiu. Appl. Soft Comput., 11 (8): 5498-5507 (2011)Identifying cancer type specific oncogenes and tumor suppressors using limited size data.A. Pavel, und C. Vasile. J. Bioinformatics and Computational Biology, 14 (6): 1-16 (2016)Localization of a Ground Robot by Aerial Robots for GPS-Deprived Control with Temporal Logic Constraints.E. Cristofalo, K. Leahy, C. Vasile, E. Montijano, M. Schwager, und C. Belta. ISER, Volume 1 von Springer Proceedings in Advanced Robotics, Seite 525-537. Springer, (2016)When to Terminate: Path Non-existence Verification Improves Sampling-based Motion Planning.J. Karlsson, A. Varava, C. Vasile, S. Karaman, D. Kragic, D. Rus, und J. Tumova. ICAR, Seite 594-600. IEEE, (2021)Minimum-violation scLTL motion planning for mobility-on-demand.C. Vasile, J. Tumova, S. Karaman, C. Belta, und D. Rus. ICRA, Seite 1481-1488. IEEE, (2017)Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications.C. Vasile, V. Raman, und S. Karaman. IROS, Seite 3840-3847. IEEE, (2017)Sampling-based temporal logic path planning.C. Vasile, und C. Belta. IROS, Seite 4817-4822. IEEE, (2013)PyElph - a software tool for gel images analysis and phylogenetics.A. Pavel, und C. Vasile. BMC Bioinformatics, (2012)Time Window Temporal Logic.C. Vasile, D. Aksaray, und C. Belta. CoRR, (2016)