Nickovic, Dejan
- A Survey of Challenges for Runtime Verification from Advanced\n Application Domains (Beyond Software)
2018/11/16 by César Sánchez, Sánchez, César, Gerardo Schneider +29 · 5 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Security and Verification in Computing #Software Engineering (cs.SE) #Software Testing and Debugging Techniques
- RTAMT: Online Robustness Monitors from STL
2020/05/24 by Dejan Ničković, Tomoya Yamaguchi, Nickovic, Dejan +1 · 4 citations
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Model-Driven Software Engineering Techniques
- Verifying Global Two-Safety Properties in Neural Networks with Confidence
2024/05/23 by Athavale, Anagha, Bartocci, Ezio, Christakis, Maria +3 · 4 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Scenario-Based Curriculum Generation for Multi-Agent Autonomous Driving
2024/03/26 by Axel Brunnbauer, Brunnbauer, Axel, Luigi Berducci +7 · 1 citation
Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #FOS: Computer and information sciences #Machine Learning (cs.LG) #Model-Driven Software Engineering Techniques #Multi-Agent Systems and Negotiation #Multiagent Systems (cs.MA) #Robotics (cs.RO)