Vinayak S.prabhu


AuthID: R-001-X50

Publicações Confirmadas: 6



1
TÍTULO: Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems  Full Text
AUTORES: Krishnendu Chatterjee; Vinayak S Prabhu ;
PUBLICAÇÃO: 2013, FONTE: INFORMATION AND COMPUTATION, VOLUME: 228
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
2
TÍTULO: Finite automata with time-delay blocks
AUTORES: Chatterjee, K; Henzinger, TA; Prabhu, VS ;
PUBLICAÇÃO: 2012, FONTE: 10th ACM International Conference on Embedded Software 2012, EMSOFT 2012, Co-located with 8th Embedded Systems Week, ESWEEK 2012 in EMSOFT'12 - Proceedings of the 10th ACM International Conference on Embedded Software 2012, Co-located with ESWEEK
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
3
TÍTULO: Quantitative timed simulation functions and refinement metrics for real-time systems
AUTORES: Chatterjee, K; Prabhu, VS ;
PUBLICAÇÃO: 2012, FONTE: 16th International Conference on Hybrid Systems: Computation and Control, HSCC 2013 - Part of CPSWeek 2013 in HSCC 2013 - Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, Part of CPSWeek 2013, VOLUME: 1
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
4
TÍTULO: Robust mission planning for underwater applications: Issues and challenges
AUTORES: Kothari, M; Pinto, J; Prabhu, VS ; Ribeiro, P; De Sousa, JB; Sujit, PB;
PUBLICAÇÃO: 2012, FONTE: 3rd IFAC Workshop on Navigation, Guidance and Control of Underwater Vehicles, NGCUV 2012 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 3, NÚMERO: PART 1
INDEXADO EM: Scopus CrossRef: 2
NO MEU: ORCID
5
TÍTULO: Synthesis of memory-efficient real-time controllers for safety objectives
AUTORES: Chatterjee, K; Prabhu, VS ;
PUBLICAÇÃO: 2011, FONTE: 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011 in HSCC'11 - Proceedings of the 2011 ACM/SIGBED Hybrid Systems: Computation and Control
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
6
TÍTULO: TIMED PARITY GAMES: COMPLEXITY AND ROBUSTNESS
AUTORES: Krishnendu Chatterjee; Thomas A Henzinger; Vinayak S Prabhu ;
PUBLICAÇÃO: 2011, FONTE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 7, NÚMERO: 4
INDEXADO EM: Scopus WOS

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service