The Semantics of SPECTRUM. - Radu Grosu; Franz Regensburger (HOA, 1993)

A formal foundation for concurrent object oriented programming. - Radu Grosu (1995)

A Model for Mobile Point-to-Point Data-flow Networks without Channel Sharing. - Radu Grosu; Ketil Stølen (AMAST, 1996)

Towards a Precise Semantics for Object-Oriented Modeling Techniques. - Ruth Breu; Radu Grosu; Franz Huber; Bernhard Rumpe; Wolfgang Schwerin (ECOOP Workshops, 1997)

Modeling the Dynamic Behavior of Objects on Events, Messages and Methods (Extended Abstract). - Ruth Breu; Radu Grosu (Euro-Par, 1997)

Reconciling Real-Time with Asynchronous Message Passing. - Manfred Broy; Radu Grosu; Cornel Klein (FME, 1997)

Systems, Views and Models of UML. - Ruth Breu; Radu Grosu; Franz Huber; Bernhard Rumpe; Wolfgang Schwerin (UML Workshop, 1997)

Visual Formalisms Revisited. - Radu Grosu; Gheorghe Stefanescu; Manfred Broy (ACSD, 1998)

A Modular Visual Model for Hybrid Systems. - Radu Grosu; Thomas Stauner; Manfred Broy (FTRTFT, 1998)

From MSCs to Statecharts. - Ingolf Krüger; Radu Grosu; Peter Scholz; Manfred Broy (DIPES, 1998)

Exemplary and complete object interaction descriptions. - Ruth Breu; Radu Grosu; Christoph Hofmann; Franz Huber; Ingolf Krüger; Bernhard Rumpe; Monika Schmidt; Wolfgang Schwerin (Comput. Stand. Interfaces, 1998)

What is Behind UML-RT? - Radu Grosu; Manfred Broy; Bran Selic; Gheorghe Stefanescu (Behavioral Specifications of Businesses and Systems, 1999)

Focusing on Mobility. - Klaus Bergner; Radu Grosu; Andreas Rausch 001; Alexander Schmidt; Peter Scholz; Manfred Broy (HICSS, 1999)

Requirements specification of an automotive system with hybrid sequence charts. - Radu Grosu; Ingolf Krüger; Thomas Stauner (WORDS (Fall), 1999)

Efficient Reachability Analysis of Hierarchical Reactive Machines. - Rajeev Alur; Radu Grosu; Michael McDougall (CAV, 2000)

Automated Refinement Checking for Asynchronous Processes. - Rajeev Alur; Radu Grosu; Bow-Yaw Wang (FMCAD, 2000)

Modular Specification of Hybrid Systems in CHARON. - Rajeev Alur; Radu Grosu; Yerang Hur; Vijay Kumar 001; Insup Lee 001 (HSCC, 2000)

Hybrid Sequence Charts. - Radu Grosu; Ingolf Krüger; Thomas Stauner (ISORC, 2000)

And/Or Hierarchies and Round Abstraction. - Radu Grosu (MFCS, 2000)

Mixed Relations as Enriched Semiringal Categories. - Radu Grosu; Dorel Lucanu; Gheorghe Stefanescu (J. Univers. Comput. Sci., 2000)

Compositional Refinement for Hierarchical Hybrid Systems. - Rajeev Alur; Radu Grosu; Insup Lee 001; Oleg Sokolsky (HSCC, 2001)

JMOCHA: A Model Checking Tool that Exploits Design Structure. - Rajeev Alur; Luca de Alfaro; Radu Grosu; Thomas A. Henzinger; M. Kang; Christoph M. Kirsch; Rupak Majumdar; Freddy Y. C. Mang; Bow-Yaw Wang (ICSE, 2001)

Shared Variables Interaction Diagrams. - Rajeev Alur; Radu Grosu (ASE, 2001)

Automated Software Engineering Using Concurrent Class Machines. - Radu Grosu; Yanhong A. Liu; Scott A. Smolka; Scott D. Stoller; Jingyu Yan (ASE, 2001)

Stream-Based Specification of Mobile Systems. - Radu Grosu; Ketil Stølen (Formal Aspects Comput., 2001)

High-confidence operating systems. - Radu Grosu; Erez Zadok; Scott A. Smolka; Rance Cleaveland; Yanhong A. Liu (ACM SIGOPS European Workshop, 2002)

Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts. - Radu Grosu; Thomas Stauner (Formal Methods Syst. Des., 2002)

Quantitative Model checking. - Radu Grosu; Scott A. Smolka (ISoLA (Preliminary proceedings), 2004)

Modular refinement of hierarchic reactive machines. - Rajeev Alur; Radu Grosu (ACM Trans. Program. Lang. Syst., 2004)

Safety-Liveness Semantics for UML 2.0 Sequence Diagrams. - Radu Grosu; Scott A. Smolka (ACSD, 2005)

Monte Carlo Model Checking. - Radu Grosu; Scott A. Smolka (TACAS, 2005)

Open-Source Model Checking. - Radu Grosu; Xiaowan Huang; Sumit Jain; Scott A. Smolka (SoftMC@CAV, 2005)

Monte Carlo Methods for Process Algebra. - Radu Grosu; Scott A. Smolka (APC 25, 2005)

Efficient Event-Driven Simulation of Excitable Hybrid Automata. - Mike R. True; Emilia Entcheva; Scott A. Smolka; Pei Ye; Radu Grosu (EMBC, 2006)

A Cycle-Linear Approach to Modeling Action Potentials. - Pei Ye; Emilia Entcheva; Scott A. Smolka; Mike R. True; Radu Grosu (EMBC, 2006)

Hybrid Automata as a Unifying Framework for Modeling Excitable Cells. - Pei Ye; Emilia Entcheva; Scott A. Smolka; Mike R. True; Radu Grosu (EMBC, 2006)

Compiler-assisted software verification using plug-ins. - Sean Callanan; Radu Grosu; Xiaowan Huang; Scott A. Smolka; Erez Zadok (IPDPS, 2006)

Deep Random Search for Efficient Model Checking of Timed Automata. - Radu Grosu; Xiaowan Huang; Scott A. Smolka; Wenkai Tan; Stavros Tripakis (Monterey Workshop, 2006)

Runtime Verification for High-Confidence Systems: A Monte Carlo Approach. - Sean Callanan; Radu Grosu; Abhishek Rai; Scott A. Smolka; Mike R. True; Erez Zadok (MBT, 2006)

Compositional modeling and refinement for hierarchical hybrid systems. - Rajeev Alur; Radu Grosu; Insup Lee 001; Oleg Sokolsky (J. Log. Algebraic Methods Program., 2006)

Learning Cycle-Linear Hybrid Automata for Excitable Cells. - Radu Grosu; Sayan Mitra; Pei Ye; Emilia Entcheva; I. V. Ramakrishnan; Scott A. Smolka (HSCC, 2007)

Model Predictive Control for Memory Profiling. - Sean Callanan; Radu Grosu; Justin Seyster; Scott A. Smolka; Erez Zadok (IPDPS, 2007)

Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue. - Ezio Bartocci; Flavio Corradini; Maria Rita Di Berardini; Emilia Entcheva; Radu Grosu; Scott A. Smolka (FBTC@CONCUR, 2007)

StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes. - Ezio Bartocci; Flavio Corradini; Radu Grosu; Emanuela Merelli; Oliviero Riganelli; Scott A. Smolka (Concurrency, Graphs and Models, 2008)

Formal Analysis of Abnormal Excitation in Cardiac Tissue. - Pei Ye; Radu Grosu; Scott A. Smolka; Emilia Entcheva (CMSB, 2008)

Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks. - Oliviero Riganelli; Radu Grosu; Samir R. Das; C. R. Ramakrishnan 001; Scott A. Smolka (HASE, 2008)

Software monitoring with bounded overhead. - Sean Callanan; David J. Dean; Michael Gorbovitski; Radu Grosu; Justin Seyster; Scott A. Smolka; Scott D. Stoller; Erez Zadok (IPDPS, 2008)

Power Optimization in Fault-Tolerant MANETs. - Oliviero Riganelli; Radu Grosu; Scott A. Smolka (MASCOTS, 2008)

CellExcite: an efficient simulation environment for excitable cells. - Ezio Bartocci; Flavio Corradini; Emilia Entcheva; Radu Grosu; Scott A. Smolka (BMC Bioinform., 2008)

Finite Automata as Time-Inv Linear Systems Observability, Reachability and More. - Radu Grosu (HSCC, 2009)

Dynamic Path Reduction for Software Model Checking. - Zijiang Yang 006; Bashar Al-Rawi; Karem A. Sakallah; Xiaowan Huang; Scott A. Smolka; Radu Grosu (IFM, 2009)

Learning and detecting emergent behavior in networks of cardiac myocytes. - Radu Grosu; Scott A. Smolka; Flavio Corradini; Anita Wasilewska; Emilia Entcheva; Ezio Bartocci (Commun. ACM, 2009)

Modeling and simulation of cardiac tissue using hybrid I/O automata. - Ezio Bartocci; Flavio Corradini; Maria Rita Di Berardini; Emilia Entcheva; Scott A. Smolka; Radu Grosu (Theor. Comput. Sci., 2009)

Aspect-Oriented Instrumentation with GCC. - Justin Seyster; Ketan Dixit; Xiaowan Huang; Radu Grosu; Klaus Havelund; Scott A. Smolka; Scott D. Stoller; Erez Zadok (RV, 2010)

The Cayley-Hamilton Theorem for Noncommutative Semirings. - Radu Grosu (CIAA, 2010)

From Cardiac Cells to Genetic Regulatory Networks. - Radu Grosu; Grégory Batt; Flavio H. Fenton; James Glimm; Colas Le Guernic; Scott A. Smolka; Ezio Bartocci (CAV, 2011)

Toward real-time simulation of cardiac dynamics. - Ezio Bartocci; Elizabeth Cherry; James Glimm; Radu Grosu; Scott A. Smolka; Flavio H. Fenton (CMSB, 2011)

Curvature analysis of cardiac excitation wavefronts. - Abhishek Murthy; Ezio Bartocci; Flavio H. Fenton; James Glimm; Richard A. Gray; Scott A. Smolka; Radu Grosu (CMSB, 2011)

Model discovery for energy-aware computing systems: An experimental evaluation. - Zhichao Li; Radu Grosu; Koundinya Muppalla; Scott A. Smolka; Scott D. Stoller; Erez Zadok (IGCC, 2011)

Runtime Verification with State Estimation. - Scott D. Stoller; Ezio Bartocci; Justin Seyster; Radu Grosu; Klaus Havelund; Scott A. Smolka; Erez Zadok (RV, 2011)

A Change of Perspective Yields Formal Analysis. - Radu Grosu; Flavio H. Fenton; Scott A. Smolka; Ezio Bartocci (SEW, 2011)

On the energy consumption and performance of systems software. - Zhichao Li; Radu Grosu; Priya Sehgal; Scott A. Smolka; Scott D. Stoller; Erez Zadok (SYSTOR, 2011)

Model Repair for Probabilistic Systems. - Ezio Bartocci; Radu Grosu; Panagiotis Katsaros; C. R. Ramakrishnan 001; Scott A. Smolka (TACAS, 2011)

On Temporal Logic and Signal Processing. - Alexandre Donzé; Oded Maler; Ezio Bartocci; Dejan Nickovic; Radu Grosu; Scott A. Smolka (ATVA, 2012)

A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx. - Sergiy Bogomolov; Goran Frehse; Radu Grosu; Hamed Ladan; Andreas Podelski; Martin Wehrle (CAV, 2012)

Approximate Bisimulations for Sodium Channel Dynamics. - Abhishek Murthy; Md. Ariful Islam; Ezio Bartocci; Elizabeth Cherry; Flavio H. Fenton; James Glimm; Scott A. Smolka; Radu Grosu (CMSB, 2012)

Adaptive Runtime Verification. - Ezio Bartocci; Radu Grosu; Atul Karmarkar; Scott A. Smolka; Scott D. Stoller; Erez Zadok; Justin Seyster (RV, 2012)

InterAspect: aspect-oriented instrumentation with GCC. - Justin Seyster; Ketan Dixit; Xiaowan Huang; Radu Grosu; Klaus Havelund; Scott A. Smolka; Scott D. Stoller; Erez Zadok (Formal Methods Syst. Des., 2012)

Software monitoring with controllable overhead. - Xiaowan Huang; Justin Seyster; Sean Callanan; Ketan Dixit; Radu Grosu; Scott A. Smolka; Scott D. Stoller; Erez Zadok (Int. J. Softw. Tools Technol. Transf., 2012)

Runtime Verification with Particle Filtering. - Kenan Kalajdzic; Ezio Bartocci; Scott A. Smolka; Scott D. Stoller; Radu Grosu (RV, 2013)

Abstraction-Based Guided Search for Hybrid Systems. - Sergiy Bogomolov; Alexandre Donzé; Goran Frehse; Radu Grosu; Taylor T. Johnson; Hamed Ladan; Andreas Podelski; Martin Wehrle (SPIN, 2013)

Monitoring with uncertainty. - Ezio Bartocci; Radu Grosu (HAS, 2013)

Curvature Analysis of Cardiac Excitation Wavefronts. - Abhishek Murthy; Ezio Bartocci; Flavio H. Fenton; James Glimm; Richard A. Gray; Elizabeth Cherry; Scott A. Smolka; Radu Grosu (IEEE ACM Trans. Comput. Biol. Bioinform., 2013)

Compositional Branching-Time Measurements. - Radu Grosu; Doron A. Peled; C. R. Ramakrishnan 001; Scott A. Smolka; Scott D. Stoller; Junxing Yang (FPS@ETAPS, 2014)

Assume-Guarantee Abstraction Refinement Meets Hybrid Systems. - Sergiy Bogomolov; Goran Frehse; Marius Greitschus; Radu Grosu; Corina S. Pasareanu; Andreas Podelski; Thomas Strump (Haifa Verification Conference, 2014)

Compositionality results for cardiac cell dynamics. - Md. Ariful Islam; Abhishek Murthy; Antoine Girard; Scott A. Smolka; Radu Grosu (HSCC, 2014)

Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices. - Radu Grosu; Elizabeth Cherry; Edmund M. Clarke; Rance Cleaveland; Sanjay Dixit; Flavio H. Fenton; Sicun Gao; James Glimm; Richard A. Gray; Rahul Mangharam; Arnab Ray; Scott A. Smolka (ISoLA (2), 2014)

Using Statistical Model Checking for Measuring Systems. - Radu Grosu; Doron A. Peled; C. R. Ramakrishnan 001; Scott A. Smolka; Scott D. Stoller; Junxing Yang (ISoLA (2), 2014)

Enhancing the SysLab System Model with State. - Radu Grosu; Cornel Klein; Bernhard Rumpe (CoRR, 2014)

Concurrent Timed Port Automata. - Radu Grosu; Bernhard Rumpe (CoRR, 2014)

Cyber-Physical Systems: Theoretical and Practical Challenges. - Ezio Bartocci; Oliver Höftberger; Radu Grosu (ERCIM News, 2014)

Neural Programming: Towards adaptive control in Cyber-Physical Systems. - Konstantin Selyunin; Denise Ratasich; Ezio Bartocci; Md. Ariful Islam; Scott A. Smolka; Radu Grosu (CDC, 2015)

Model Checking Tap Withdrawal in C. Elegans. - Md. Ariful Islam; Richard DeFrancisco; Chuchu Fan; Radu Grosu; Sayan Mitra; Scott A. Smolka (HSB, 2015)

Abstraction-Based Parameter Synthesis for Multiaffine Systems. - Sergiy Bogomolov; Christian Schilling 001; Ezio Bartocci; Grégory Batt; Hui Kong 004; Radu Grosu (Haifa Verification Conference, 2015)

XSpeed: Accelerating Reachability Analysis on Multi-core Processors. - Rajarshi Ray 001; Amit Gurung; Binayak Das; Ezio Bartocci; Sergiy Bogomolov; Radu Grosu (Haifa Verification Conference, 2015)

SpaTeL: a novel spatial-temporal logic and its applications to networked systems. - Iman Haghighi; Austin Jones; Zhaodan Kong; Ezio Bartocci; Radu Grosu; Calin Belta (HSCC, 2015)

Computing bisimulation functions using SOS optimization and δ-decidability over the reals. - Abhishek Murthy; Md. Ariful Islam; Scott A. Smolka; Radu Grosu (HSCC, 2015)

Generic sensor fusion package for ROS. - Denise Ratasich; Bernhard Frömel; Oliver Höftberger; Radu Grosu (IROS, 2015)

From signal temporal logic to FPGA monitors. - Stefan Jaksic; Ezio Bartocci; Radu Grosu; Reinhard Kloibhofer; Thang Nguyen 007; Dejan Nickovic (MEMOCODE, 2015)

Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment. - Dung T. Phan; Junxing Yang; Denise Ratasich; Radu Grosu; Scott A. Smolka; Scott D. Stoller (RV, 2015)

Deep Neural Programs for Adaptive Control in Cyber-Physical Systems. - Konstantin Selyunin; Denise Ratasich; Ezio Bartocci; Radu Grosu (CoRR, 2015)

Model-order reduction of ion channel dynamics using approximate bisimulation. - Md. Ariful Islam; Abhishek Murthy; Ezio Bartocci; Elizabeth Cherry; Flavio H. Fenton; James Glimm; Scott A. Smolka; Radu Grosu (Theor. Comput. Sci., 2015)

CyberCardia project: Modeling, verification and validation of implantable cardiac devices. - Md. Ariful Islam; Hyun-Kyung Lim; Nicola Paoletti; Houssam Abbas; Zhihao Jiang; Jacek Cyranka; Rance Cleaveland; Sicun Gao; Edmund M. Clarke; Radu Grosu; Rahul Mangharam; Elizabeth Cherry; et al. (BIBM, 2016)

Bifurcation Analysis of Cardiac Alternans Using delta -Decidability. - Md. Ariful Islam; Greg Byrne; Soonho Kong; Edmund M. Clarke; Rance Cleaveland; Flavio H. Fenton; Radu Grosu; Paul L. Jones; Scott A. Smolka (CMSB, 2016)

Love Thy Neighbor: V-Formation as a Problem of Model Predictive Control. - Junxing Yang; Radu Grosu; Scott A. Smolka; Ashish Tiwari 001 (CONCUR, 2016)

Monitoring of MTL specifications with IBM's spiking-neuron model. - Konstantin Selyunin; Thang Nguyen 007; Ezio Bartocci; Dejan Nickovic; Radu Grosu (DATE, 2016)

Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans. - Md. Ariful Islam; Qinsi Wang; Ramin M. Hasani; Ondrej Balun; Edmund M. Clarke; Radu Grosu; Scott A. Smolka (HLDVT, 2016)

Discrete Abstraction of Multiaffine Systems. - Hui Kong 004; Ezio Bartocci; Sergiy Bogomolov; Radu Grosu; Thomas A. Henzinger; Yu Jiang 001; Christian Schilling 001 (HSB, 2016)

Temporal Logic as Filtering. - Alëna Rodionova; Ezio Bartocci; Dejan Nickovic; Radu Grosu (HSCC, 2016)

A heterogeneous time-triggered architecture on a hybrid system-on-a-chip platform. - Haris Isakovic; Radu Grosu (ISIE, 2016)

Feedback Control for Statistical Model Checking of Cyber-Physical Systems. - Kenan Kalajdzic; Cyrille Jégourel; Anna Lukina; Ezio Bartocci; Axel Legay; Scott A. Smolka; Radu Grosu (ISoLA (1), 2016)

The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems. - Thang Nguyen 007; Ezio Bartocci; Dejan Nickovic; Radu Grosu; Stefan Jaksic; Konstantin Selyunin (ISoLA (2), 2016)

Parallel reachability analysis for hybrid systems. - Amit Gurung; Arup Deka; Ezio Bartocci; Sergiy Bogomolov; Radu Grosu; Rajarshi Ray 001 (MEMOCODE, 2016)

Quantitative Monitoring of STL with Edit Distance. - Stefan Jaksic; Ezio Bartocci; Radu Grosu; Dejan Nickovic (RV, 2016)

Applying Runtime Monitoring for Automotive Electronic Development. - Konstantin Selyunin; Thang Nguyen 007; Ezio Bartocci; Radu Grosu (RV, 2016)

Regular Expressions for Irregular Rhythms. - Houssam Abbas; Alëna Rodionova; Ezio Bartocci; Scott A. Smolka; Radu Grosu (CoRR, 2016)

Cyber-physical systems: challenge of the 21st century. - Lukas Esterle; Radu Grosu (Elektrotech. Informationstechnik, 2016)

Guided search for hybrid systems based on coarse-grained space abstractions. - Sergiy Bogomolov; Alexandre Donzé; Goran Frehse; Radu Grosu; Taylor T. Johnson; Hamed Ladan; Andreas Podelski; Martin Wehrle (Int. J. Softw. Tools Technol. Transf., 2016)

A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems. - Dung T. Phan; Junxing Yang; Matthew Clark; Radu Grosu; John D. Schierman; Scott A. Smolka; Scott D. Stoller (ACSD, 2017)

Attacking the V: On the Resiliency of Adaptive-Horizon MPC. - Ashish Tiwari 001; Scott A. Smolka; Lukas Esterle; Anna Lukina; Junxing Yang; Radu Grosu (ATVA, 2017)

Lagrangian Reachabililty. - Jacek Cyranka; Md. Ariful Islam; Greg Byrne; Paul L. Jones; Scott A. Smolka; Radu Grosu (CAV (1), 2017)

Runtime Monitoring with Recovery of the SENT Communication Protocol. - Konstantin Selyunin; Stefan Jaksic; Thang Nguyen 007; Christian Reidl; Udo Hafner; Ezio Bartocci; Dejan Nickovic; Radu Grosu (CAV (1), 2017)

Quantitative Regular Expressions for Arrhythmia Detection Algorithms. - Houssam Abbas; Alëna Rodionova; Ezio Bartocci; Scott A. Smolka; Radu Grosu (CMSB, 2017)

A novel Bayesian network-based fault prognostic method for semiconductor manufacturing process. - Guodong Wang 005; Ramin M. Hasani; Yungang Zhu; Radu Grosu (ICIT, 2017)

Compositional neural-network modeling of complex analog circuits. - Ramin M. Hasani; Dieter Haerle; Christian F. Baumgartner; Alessio R. Lomuscio; Radu Grosu (IJCNN, 2017)

A Self-Healing Framework for Building Resilient Cyber-Physical Systems. - Denise Ratasich; Oliver Höftberger; Haris Isakovic; Muhammad Shafique 001; Radu Grosu (ISORC, 2017)

Towards Deterministic and Stochastic Computations with the Izhikevich Spiking-Neuron Model. - Ramin M. Hasani; Guodong Wang 005; Radu Grosu (IWANN (2), 2017)

Computing with Biophysical and Hardware-Efficient Neural Models. - Konstantin Selyunin; Ramin M. Hasani; Denise Ratasich; Ezio Bartocci; Radu Grosu (IWANN (1), 2017)

A Survey of Hardware Technologies for Mixed-Critical Integration Explored in the Project EMC^2. - Haris Isakovic; Radu Grosu; Denise Ratasich; Jiri Kadlec; Zdenek Pohl; Steve Kerrison; Kyriakos Georgiou; Kerstin Eder; Norbert Druml; Lillian Tadros; Flemming Christensen; Emilie Wheatley; et al. (SAFECOMP Workshops, 2017)

ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. - Anna Lukina; Lukas Esterle; Christian Hirsch; Ezio Bartocci; Junxing Yang; Ashish Tiwari 001; Scott A. Smolka; Radu Grosu (TACAS (2), 2017)

Extracting Implicit Social Relation for Social Recommendation Techniques in User Rating Prediction. - Seyed Mohammad Taheri; Hamidreza Mahyar; Mohammad Firouzi; Elahe Ghalebi K.; Radu Grosu; Ali Movaghar 001 (WWW (Companion Volume), 2017)

SIM-CE: An Advanced Simulink Platform for Studying the Brain of Caenorhabditis elegans. - Ramin M. Hasani; Victoria Beneder; Magdalena Fuchs; David Lung; Radu Grosu (CoRR, 2017)

Non-Associative Learning Representation in the Nervous System of the Nematode Caenorhabditis elegans. - Ramin M. Hasani; Magdalena Fuchs; Victoria Beneder; Radu Grosu (CoRR, 2017)

An Automated Auto-encoder Correlation-based Health-Monitoring and Prognostic Method for Machine Bearings. - Ramin M. Hasani; Guodong Wang 005; Radu Grosu (CoRR, 2017)

Model Checking Cyber-Physical Systems using Particle Swarm Optimization. - Dung T. Phan; Scott A. Smolka; Radu Grosu; Usama Mehmood; Scott D. Stoller; Junxing Yang (CoRR, 2017)

Searching for Biophysically Realistic Parameters for Dynamic Neuron Models by Genetic Algorithms from Calcium Imaging Recording. - Magdalena Fuchs; Manuel Zimmer; Radu Grosu; Ramin M. Hasani (CoRR, 2017)

Worm-level Control through Search-based Reinforcement Learning. - Mathias Lechner; Radu Grosu; Ramin M. Hasani (CoRR, 2017)

How to Learn a Model Checker. - Dung T. Phan; Radu Grosu; Nicola Paoletti; Scott A. Smolka; Scott D. Stoller (CoRR, 2017)

Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles. - Dung T. Phan; Junxing Yang; Radu Grosu; Scott A. Smolka; Scott D. Stoller (Formal Methods Syst. Des., 2017)

Gaussian convex evidence theory for ordered and fuzzy evidence fusion. - Yungang Zhu; Hongying Duan; Xinhua Wang; Baokui Zhou; Guodong Wang 005; Radu Grosu (J. Intell. Fuzzy Syst., 2017)

A Multi-Sensor Data Fusion Approach for Atrial Hypertrophy Disease Diagnosis Based on Characterized Support Vector Hyperspheres. - Yungang Zhu; Dayou Liu; Radu Grosu; Xinhua Wang; Hongying Duan; Guodong Wang 005 (Sensors, 2017)

HellRank: a Hellinger-based centrality measure for bipartite social networks. - Seyed Mohammad Taheri; Hamidreza Mahyar; Mohammad Firouzi; Elahe Ghalebi K.; Radu Grosu; Ali Movaghar 001 (Soc. Netw. Anal. Min., 2017)

Temporal Logic as Filtering. - Alëna Rodionova; Ezio Bartocci; Dejan Nickovic; Radu Grosu (Dependable Software Systems Engineering, 2017)

Compressed Sensing in Cyber Physical Social Systems. - Radu Grosu; Elahe Ghalebi K.; Ali Movaghar 001; Hamidreza Mahyar (Principles of Modeling, 2018)

Tight Continuous-Time Reachtubes for Lagrangian Reachability. - Jacek Cyranka; Md. Ariful Islam; Scott A. Smolka; Sicun Gao; Radu Grosu (CDC, 2018)

A Compressive Sensing Framework for Distributed Detection of High Closeness Centrality Nodes in Networks. - Hamidreza Mahyar; Rouzbeh Hasheminezhad; Elahe Ghalebi K.; Radu Grosu; Harry Eugene Stanley (COMPLEX NETWORKS (2), 2018)

Resilient Control and Safety for Cyber-Physical Systems. - Anna Lukina; Ashish Tiwari 001; Scott A. Smolka; Lukas Esterle; Junxing Yang; Radu Grosu (MT@CPSWeek, 2018)

CPS/IoT Ecosystem: A Platform for Research and Education. - Haris Isakovic; Denise Ratasich; Christian Hirsch; Michael Platzer; Bernhard Wally; Thomas Rausch; Dejan Nickovic; Willibald Krenn; Gerti Kappel; Schahram Dustdar; Radu Grosu (CyPhy/WESE, 2018)

Formation control and persistent monitoring in the openUAV swarm simulator on the NSF CPS-VO. - Anna Lukina; Arjun Kumar; Matt Schmittle; Abhijeet Singh; Jnaneshwar Das; Stephen A. Rees; Christopher P. van Buskirk; Janos Sztipanovits; Radu Grosu; Vijay Kumar 001 (ICCPS, 2018)

OpenUAV: a UAV testbed for the CPS and robotics community. - Matt Schmittle; Anna Lukina; Lukas Vacek; Jnaneshwar Das; Christopher P. van Buskirk; Stephen A. Rees; Janos Sztipanovits; Radu Grosu; Vijay Kumar 001 (ICCPS, 2018)

Self-healing by property-guided structural adaptation. - Denise Ratasich; Thomas Preindl; Konstantin Selyunin; Radu Grosu (ICPS, 2018)

A multi-bias recurrent neural network for modeling milling sensory data. - Guodong Wang 005; Mohamed Amin Ben Sassi; Radu Grosu (ICPS, 2018)

Unsupervised Wafermap Patterns Clustering via Variational Autoencoders. - Peter Tulala; Hamidreza Mahyar; Elahe Ghalebi K.; Radu Grosu (IJCNN, 2018)

Production Tests Coverage Analysis in the Simulation Environment. - Niveditha Manjunath; Dieter Haerle; Stephen Sabanal; Herbert Eichinger; Hermann Tauber; Andreas Machne; Christian Manthey; Mikko Vaananen; Radu Grosu; Dejan Nickovic (ITC, 2018)

Dynamic Network Model from Partial Observations. - Elahe Ghalebi; Baharan Mirzasoleiman; Radu Grosu; Jure Leskovec (NeurIPS, 2018)

Declarative vs rule-based control for flocking dynamics. - Usama Mehmood; Nicola Paoletti; Dung T. Phan; Radu Grosu; Shan Lin 001; Scott D. Stoller; Ashish Tiwari 001; Junxing Yang; Scott A. Smolka (SAC, 2018)

Neuronal Circuit Policies. - Mathias Lechner; Ramin M. Hasani; Radu Grosu (CoRR, 2018)

Adaptive Neighborhood Resizing for Stochastic Reachability in Multi-Agent Systems. - Anna Lukina; Ashish Tiwari 001; Scott A. Smolka; Radu Grosu (CoRR, 2018)

Re-purposing Compact Neuronal Circuit Policies to Govern Reinforcement Learning Tasks. - Ramin M. Hasani; Mathias Lechner; Alexander Amini; Daniela Rus; Radu Grosu (CoRR, 2018)

A Roadmap Towards Resilient Internet of Things for Cyber-Physical Systems. - Denise Ratasich; Faiq Khalid; Florian Geissler; Radu Grosu; Muhammad Shafique 001; Ezio Bartocci (CoRR, 2018)

Liquid Time-constant Recurrent Neural Networks as Universal Approximators. - Ramin M. Hasani; Mathias Lechner; Alexander Amini; Daniela Rus; Radu Grosu (CoRR, 2018)

Quantitative monitoring of STL with edit distance. - Stefan Jaksic; Ezio Bartocci; Radu Grosu; Thang Nguyen 007; Dejan Nickovic (Formal Methods Syst. Des., 2018)

Identifying central nodes for information flow in social networks using compressive sensing. - Hamidreza Mahyar; Rouzbeh Hasheminezhad; Elaheh Ghalebi; Ali Nazemian; Radu Grosu; Ali Movaghar 001; Hamid R. Rabiee (Soc. Netw. Anal. Min., 2018)

An Algebraic Framework for Runtime Verification. - Stefan Jaksic; Ezio Bartocci; Radu Grosu; Dejan Nickovic (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

A Machine Learning Suite for Machine Components' Health-Monitoring. - Ramin M. Hasani; Guodong Wang 005; Radu Grosu (AAAI, 2019)

Under the Hood of a Stand-Alone Lagrangian Reachability Tool. - Sophie Gruenbacher; Jacek Cyranka; Md. Ariful Islam; Max Tschaikowski; Scott A. Smolka; Radu Grosu (ARCH@CPSIoTWeek, 2019)

Designing Worm-inspired Neural Networks for Interpretable Robotic Control. - Mathias Lechner; Ramin M. Hasani; Manuel Zimmer; Thomas A. Henzinger; Radu Grosu (ICRA, 2019)

Sensyml: Simulation Environment for large-scale IoT Applications. - Haris Isakovic; Vanja Bisanovic; Bernhard Wally; Thomas Rausch; Denise Ratasich; Schahram Dustdar; Gerti Kappel; Radu Grosu (IECON, 2019)

Response Characterization for Auditing Cell Dynamics in Long Short-term Memory Networks. - Ramin M. Hasani; Alexander Amini; Mathias Lechner; Felix Naser; Radu Grosu; Daniela Rus (IJCNN, 2019)

Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home. - Christian Hirsch; Ezio Bartocci; Radu Grosu (ISCT, 2019)

CPS/IoT Ecosystem: Indoor Vertical Farming System. - Haris Isakovic; Alexander Fasching; Lukas Punzenberger; Radu Grosu (ISCT, 2019)

Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems. - Anna Lukina; Ashish Tiwari 001; Scott A. Smolka; Radu Grosu (SAC, 2019)

Adaptive Fault Detection Exploiting Redundancy with Uncertainties in Space and Time. - Denise Ratasich; Michael Platzer; Radu Grosu; Ezio Bartocci (SASO, 2019)

Neural state classification for hybrid systems. - Dung T. Phan; Nicola Paoletti; Timothy Zhang; Radu Grosu; Scott A. Smolka; Scott D. Stoller (SNR, 2019)

A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems. - Denise Ratasich; Faiq Khalid; Florian Geissler; Radu Grosu; Muhammad Shafique 001; Ezio Bartocci (IEEE Access, 2019)

A generative neural network model for the quality prediction of work in progress products. - Guodong Wang 005; Anna Ledwoch; Ramin M. Hasani; Radu Grosu; Alexandra Brintrup (Appl. Soft Comput., 2019)

Dynamic Nonparametric Edge-Clustering Model for Time-Evolving Sparse Networks. - Elahe Ghalebi; Hamidreza Mahyar; Radu Grosu; Sinead Williamson (CoRR, 2019)

A Nonparametric Bayesian Model for Sparse Temporal Multigraphs. - Elahe Ghalebi; Hamidreza Mahyar; Radu Grosu; Graham W. Taylor; Sinead A. Williamson (CoRR, 2019)

Parallel reachability analysis of hybrid systems in XSpeed. - Amit Gurung; Rajarshi Ray 001; Ezio Bartocci; Sergiy Bogomolov; Radu Grosu (Int. J. Softw. Tools Technol. Transf., 2019)

Quantitative Regular Expressions for Arrhythmia Detection. - Houssam Abbas; Alëna Rodionova; Konstantinos Mamouras; Ezio Bartocci; Scott A. Smolka; Radu Grosu (IEEE ACM Trans. Comput. Biol. Bioinform., 2019)

Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans. - Md. Ariful Islam; Rance Cleaveland; Flavio H. Fenton; Radu Grosu; Paul L. Jones; Scott A. Smolka (Theor. Comput. Sci., 2019)

Statistical Model Checking. - Axel Legay; Anna Lukina; Louis-Marie Traonouez; Junxing Yang; Scott A. Smolka; Radu Grosu (Computing and Software Science, 2019)

Learning Distributed Controllers for V-Formation. - Shouvik Roy; Usama Mehmood; Radu Grosu; Scott A. Smolka; Scott D. Stoller; Ashish Tiwari 001 (ACSOS, 2020)

Lagrangian Reachtubes: The Next Generation. - Sophie Gruenbacher; Jacek Cyranka; Mathias Lechner; Md. Ariful Islam; Scott A. Smolka; Radu Grosu (CDC, 2020)

Neural Flocking: MPC-Based Supervised Learning of Flocking Controllers. - Usama Mehmood; Shouvik Roy; Radu Grosu; Scott A. Smolka; Scott D. Stoller; Ashish Tiwari 001 (FoSSaCS, 2020)

A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits. - Ramin M. Hasani; Mathias Lechner; Alexander Amini; Daniela Rus; Radu Grosu (ICML, 2020)

Gershgorin Loss Stabilizes the Recurrent Neural Network Compartment of an End-to-end Robot Learning Scheme. - Mathias Lechner; Ramin M. Hasani; Daniela Rus; Radu Grosu (ICRA, 2020)

Neural Simplex Architecture. - Dung T. Phan; Radu Grosu; Nils Jansen 001; Nicola Paoletti; Scott A. Smolka; Scott D. Stoller (NFM, 2020)

An Energy Sustainable CPS/IoT Ecosystem. - Haris Isakovic; Edgar Azpiazu Crespo; Radu Grosu (SmartCity360°, 2020)

V-Formation via Model Predictive Control. - Radu Grosu; Anna Lukina; Scott A. Smolka; Ashish Tiwari 001; Vasudha Varadarajan; Xingfang Wang (CoRR, 2020)

ResNets, NeuralODEs and CT-RNNs are Particular Neural Regulatory Networks. - Radu Grosu (CoRR, 2020)

Intelligent Sea States Identification Based on Maximum Likelihood Evidential Reasoning Rule. - Xuelin Zhang; Xiaojian Xu 003; Xiaobin Xu 002; Diju Gao; Haibo Gao; Guodong Wang 005; Radu Grosu (Entropy, 2020)

Neural circuit policies enabling auditable autonomy. - Mathias Lechner; Ramin M. Hasani; Alexander Amini; Thomas A. Henzinger; Daniela Rus; Radu Grosu (Nat. Mach. Intell., 2020)

On the Verification of Neural ODEs with Stochastic Guarantees. - Sophie Gruenbacher; Ramin M. Hasani; Mathias Lechner; Jacek Cyranka; Scott A. Smolka; Radu Grosu (AAAI, 2021)

Liquid Time-constant Networks. - Ramin M. Hasani; Mathias Lechner; Alexander Amini; Daniela Rus; Radu Grosu (AAAI, 2021)

Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding. - Shouvik Roy; Usama Mehmood; Radu Grosu; Scott A. Smolka; Scott D. Stoller; Ashish Tiwari 001 (ACC, 2021)

Collision-Free 3D Flocking Using the Distributed Simplex Architecture. - Usama Mehmood; Scott D. Stoller; Radu Grosu; Scott A. Smolka (Formal Methods in Outer Space, 2021)

Adaptive Signal Filtering Platform for a CPS/IoT Ecosystem. - Haris Isakovic; Stefan Dangl; Zlatan Tucakovic; Radu Grosu (ICIT, 2021)

QoS for Dynamic Deployment of IoT Services. - Haris Isakovic; Luis Lino Ferreira; Irmin Okic; Adam Dukkon; Zlatan Tucakovic; Radu Grosu (ICIT, 2021)

On-Off Center-Surround Receptive Fields for Accurate and Robust Image Classification. - Zahra Babaiee; Ramin M. Hasani; Mathias Lechner; Daniela Rus; Radu Grosu (ICML, 2021)

Adversarial Training is Not Ready for Robot Learning. - Mathias Lechner; Ramin M. Hasani; Radu Grosu; Daniela Rus; Thomas A. Henzinger (ICRA, 2021)

Keynote Lecture : Neural circuit policies. - Radu Grosu (ISPDC, 2021)

Lumpability for Uncertain Continuous-Time Markov Chains. - Luca Cardelli; Radu Grosu; Kim G. Larsen; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (QEST, 2021)

Model-based versus Model-free Deep Reinforcement Learning for Autonomous Racing Cars. - Axel Brunnbauer; Luigi Berducci; Andreas Brandstätter; Mathias Lechner; Ramin M. Hasani; Daniela Rus; Radu Grosu (CoRR, 2021)

GoTube: Scalable Stochastic Verification of Continuous-Depth Models. - Sophie Gruenbacher; Mathias Lechner; Ramin M. Hasani; Daniela Rus; Thomas A. Henzinger; Scott A. Smolka; Radu Grosu (CoRR, 2021)

From English to Signal Temporal Logic. - Jie He; Ezio Bartocci; Dejan Nickovic; Haris Isakovic; Radu Grosu (CoRR, 2021)

From STL Rulebooks to Rewards. - Edgar A. Aguilar; Luigi Berducci; Axel Brunnbauer; Radu Grosu; Dejan Nickovic (CoRR, 2021)

3D-OOCS: Learning Prostate Segmentation with Inductive Bias. - Shrajan Bhandary; Zahra Babaiee; Dejan Kostyszyn; Tobias Fechter; Constantinos Zamboglou; Anca L. Grosu; Radu Grosu (CoRR, 2021)

Logs of: Model-based versus Model-free Deep Reinforcement Learning for Autonomous Racing Cars. - Axel Brunnbauer; Luigi Berducci; Andreas Brandstätter; Mathias Lechner; Ramin M. Hasani; Daniela Rus; Radu Grosu (Zenodo, 2021)

GoTube: Scalable Statistical Verification of Continuous-Depth Models. - Sophie A. Gruenbacher; Mathias Lechner; Ramin M. Hasani; Daniela Rus; Thomas A. Henzinger; Scott A. Smolka; Radu Grosu (AAAI, 2022)

Robustness Analysis of Continuous-Depth Models with Lagrangian Techniques. - Sophie A. Neubauer; Radu Grosu (Principles of Systems Design, 2022)

Keynote Lecture Towards Neuro-Symbolic AI. - Radu Grosu (ICCP, 2022)

DeepWafer: A Generative Wafermap Model with Deep Adversarial Networks. - Hamidreza Mahyar; Peter Tulala; Elahe Ghalebi; Radu Grosu (ICMLA, 2022)

Latent Imagination Facilitates Zero-Shot Transfer in Autonomous Racing. - Axel Brunnbauer; Luigi Berducci; Andreas Brandstätter; Mathias Lechner; Ramin M. Hasani; Daniela Rus; Radu Grosu (ICRA, 2022)

DeepSTL - From English Requirements to Signal Temporal Logic. - Jie He; Ezio Bartocci; Dejan Nickovic; Haris Isakovic; Radu Grosu (ICSE, 2022)

Safe Policy Improvement in Constrained Markov Decision Processes. - Luigi Berducci; Radu Grosu (ISoLA (1), 2022)

Towards Drone Flocking Using Relative Distance Measurements. - Andreas Brandstätter; Scott A. Smolka; Scott D. Stoller; Ashish Tiwari 001; Radu Grosu (ISoLA (3), 2022)

Multi-Agent Spatial Predictive Control with Application to Drone Flocking (Extended Version). - Andreas Brandstätter; Scott A. Smolka; Scott D. Stoller; Ashish Tiwari 001; Radu Grosu (CoRR, 2022)

End-to-End Sensitivity-Based Filter Pruning. - Zahra Babaiee; Lucas Liebenwein; Ramin M. Hasani; Daniela Rus; Radu Grosu (CoRR, 2022)

Entangled Residual Mappings. - Mathias Lechner; Ramin M. Hasani; Zahra Babaiee; Radu Grosu; Daniela Rus; Thomas A. Henzinger; Sepp Hochreiter (CoRR, 2022)

Deep-Learning vs Regression: Prediction of Tourism Flow with Limited Data. - Julian Lemmel; Zahra Babaiee; Marvin Kleinlehner; Ivan Majic; Philipp Neubauer; Johannes Scholz; Radu Grosu; Sophie A. Neubauer (CoRR, 2022)

Pruning by Active Attention Manipulation. - Zahra Babaiee; Lucas Liebenwein; Ramin M. Hasani; Daniela Rus; Radu Grosu (CoRR, 2022)

IB-U-Nets: Improving medical image segmentation tasks with 3D Inductive Biased kernels. - Shrajan Bhandary; Zahra Babaiee; Dejan Kostyszyn; Tobias Fechter; Constantinos Zamboglou; Anca-Ligia Grosu; Radu Grosu (CoRR, 2022)

Introduction to the Special Issue on Internet-of-Medical-Things. - Paul Bogdan; Radu Grosu; Insup Lee 001 (ACM Trans. Comput. Heal., 2022)

Driver Distraction Detection Using Octave-Like Convolutional Neural Network. - Penghua Li; Yifeng Yang; Radu Grosu; Guodong Wang 005; Rui Li 066; Yuehong Wu; Zeng Huang (IEEE Trans. Intell. Transp. Syst., 2022)

TD-Magic: From Pictures of Timing Diagrams To Formal Specifications. - Jie He; Dejan Nickovic; Ezio Bartocci; Radu Grosu (DAC, 2023)

NimbleAI: Towards Neuromorphic Sensing-Processing 3D-integrated Chips. - Xabier Iturbe; Nassim Abderrahmane; Jaume Abella 001; Sergi Alcaide; Eric Beyne; Henri-Pierre Charles; Christelle Charpin-Nicolle; Lars Chittka; Angélica Dávila; Arne Erdmann; Carles Estrada; Ander Fernández; et al. (DATE, 2023)

Multi-Agent Spatial Predictive Control with Application to Drone Flocking. - Andreas Brandstätter; Scott A. Smolka; Scott D. Stoller; Ashish Tiwari 001; Radu Grosu (ICRA, 2023)

Investigation and benchmarking of U-Nets on prostate segmentation tasks. - Shrajan Bhandary; Dejan Kuhn; Zahra Babaiee; Tobias Fechter; Matthias Benndorf; Constantinos Zamboglou; Anca-Ligia Grosu; Radu Grosu (Comput. Medical Imaging Graph., 2023)

On the Benefits of Biophysical Synapses. - Julian Lemmel; Radu Grosu (CoRR, 2023)

Prediction of Tourism Flow with Sparse Geolocation Data. - Julian Lemmel; Zahra Babaiee; Marvin Kleinlehner; Ivan Majic; Philipp Neubauer; Johannes Scholz; Radu Grosu; Sophie A. Neubauer (CoRR, 2023)

Enhancing Robot Learning through Learned Human-Attention Feature Maps. - Daniel Scheuchenstuhl; Stefan Ulmer; Felix Resch; Luigi Berducci; Radu Grosu (CoRR, 2023)

A distributed simplex architecture for multi-agent systems. - Usama Mehmood; Shouvik Roy; Amol Damare; Radu Grosu; Scott A. Smolka; Scott D. Stoller (J. Syst. Archit., 2023)

DynGATT: A dynamic GATT-based data synchronization protocol for BLE networks. - Christian Hirsch; Luca Davoli; Radu Grosu; Gianluigi Ferrari 001 (Comput. Networks, 2023)

Algorithmic Minimization of Uncertain Continuous-Time Markov Chains. - Luca Cardelli; Radu Grosu; Kim Guldstrand Larsen; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (IEEE Trans. Autom. Control., 2023)

Neural Programs: Linking Probabilistic and Differential Programming. - Radu Grosu (Principles of Verification (1), 2024)

DeepRIoT: Continuous Integration and Deployment of Robotic-IoT Applications. - Meixun Qu; Jie He; Zlatan Tucakovic; Ezio Bartocci; Dejan Nickovic; Haris Isakovic; Radu Grosu (DAC, 2024)

Automated Immunophenotyping Assessment for Diagnosing Childhood Acute Leukemia using Set-Transformers. - Elpiniki Maria Lygizou; Michael Reiter; Margarita Maurer-Granofszky; Michael N. Dworzak; Radu Grosu (EMBC, 2024)

Unveiling the Unseen: Identifiable Clusters in Trained Depthwise Convolutional Kernels. - Zahra Babaiee; Peyman M. Kiasari; Daniela Rus; Radu Grosu (ICLR, 2024)

Learning Adaptive Safety for Multi-Agent Systems. - Luigi Berducci; Shuo Yang 007; Rahul Mangharam; Radu Grosu (ICRA, 2024)

Flock-Formation Control of Multi-Agent Systems using Imperfect Relative Distance Measurements. - Andreas Brandstätter; Scott A. Smolka; Scott D. Stoller; Ashish Tiwari 001; Radu Grosu (ICRA, 2024)

Learning with Chemical versus Electrical Synapses Does it Make a Difference? - Mónika Farsang; Mathias Lechner; David Lung; Ramin M. Hasani; Daniela Rus; Radu Grosu (ICRA, 2024)

Neural Echos: Depthwise Convolutional Filters Replicate Biological Receptive Fields. - Zahra Babaiee; Peyman M. Kiasari; Daniela Rus; Radu Grosu (WACV, 2024)

Gated Chemical Units. - Mónika Farsang; Radu Grosu (CoRR, 2024)

Scenario-Based Curriculum Generation for Multi-Agent Autonomous Driving. - Axel Brunnbauer; Luigi Berducci; Peter Priller; Dejan Nickovic; Radu Grosu (CoRR, 2024)

Segmentation of Prostate Tumour Volumes from PET Images is a Different Ball Game. - Shrajan Bhandary; Dejan Kuhn; Zahra Babaiee; Tobias Fechter; Simon Spohn; Constantinos Zamboglou; Anca-Ligia Grosu; Radu Grosu (CoRR, 2024)

MMDVS-LF: A Multi-Modal Dynamic-Vision-Sensor Line Following Dataset. - Felix Resch; Mónika Farsang; Radu Grosu (CoRR, 2024)

Neuromorphic IoT Architecture for Efficient Water Management: A Smart Village Case Study. - Mugdim Bublin; Heimo Hirner; Antoine-Martin Lanners; Radu Grosu (CoRR, 2024)

A quantum-classical reinforcement learning model to play Atari games. - Dominik Freinberger; Julian Lemmel; Radu Grosu; Sofiène Jerbi (CoRR, 2024)

The Master Key Filters Hypothesis: Deep Filters Are General in DS-CNNs. - Zahra Babaiee; Peyman M. Kiasari; Daniela Rus; Radu Grosu (CoRR, 2024)

HPRS: hierarchical potential-based reward shaping from task specifications. - Luigi Berducci; Edgar A. Aguilar; Dejan Nickovic; Radu Grosu (Frontiers Robotics AI, 2024)

The Master Key Filters Hypothesis: Deep Filters Are General. - Zahra Babaiee; Peyman M. Kiasari; Daniela Rus; Radu Grosu (AAAI, 2025)

Real-Time Recurrent Reinforcement Learning. - Julian Lemmel; Radu Grosu (AAAI, 2025)

Scalable Offline Reinforcement Learning for Mean Field Games. - Axel Brunnbauer; Julian Lemmel; Zahra Babaiee; Sophie A. Neubauer; Radu Grosu (AAMAS, 2025)

Depth Matters: Multimodal RGB-D Perception for Robust Autonomous Agents. - Mihaela-Larisa Clement; Mónika Farsang; Felix Resch; Radu Grosu (CoRR, 2025)

Scaling Up Liquid-Resistance Liquid-Capacitance Networks for Efficient Sequence Modeling. - Mónika Farsang; Ramin M. Hasani; Radu Grosu (CoRR, 2025)

Differential Gated Self-Attention. - Elpiniki Maria Lygizou; Mónika Farsang; Radu Grosu (CoRR, 2025)

Visual Graph Arena: Evaluating Visual Conceptualization of Vision and Multimodal Large Language Models. - Zahra Babaiee; Peyman M. Kiasari; Daniela Rus; Radu Grosu (CoRR, 2025)

Relative Entropy Pathwise Policy Optimization. - Claas Voelcker; Axel Brunnbauer; Marcel Hussing; Michal Nauman; Pieter Abbeel; Eric Eaton; Radu Grosu; Amir-massoud Farahmand; Igor Gilitschenski (CoRR, 2025)

TD-Interpreter: Enhancing the Understanding of Timing Diagrams with Visual-Language Learning. - Jie He; Vincent Theo Willem Kenbeek; Zhantao Yang; Meixun Qu; Ezio Bartocci; Dejan Nickovic; Radu Grosu (CoRR, 2025)

Online Fine-Tuning of Carbon Emission Predictions using Real-Time Recurrent Learning for State Space Models. - Julian Lemmel; Manuel Kranzl; Adam Lamine; Philipp Neubauer; Radu Grosu; Sophie A. Neubauer (CoRR, 2025)