Sedwards, Sean
- Scalable Verification of Markov Decision Processes
2013/10/14 by Axel Legay, Legay, Axel, Sean Sedwards +4 · 2 citations
Computer Science · #Formal Methods in Verification #Petri Nets in System Modeling #Real-Time Systems Scheduling #cs.DC #cs.DS #cs.LG #cs.LO
- Fast Falsification of Hybrid Systems using Probabilistically Adaptive\n Input
2018/12/10 by Gidon Ernst, Ernst, Gidon, Sean Sedwards +5 · 2 citations
Computer Science · #Adversarial Robustness in Machine Learning #FOS: Electrical engineering #Formal Methods in Verification #Software Testing and Debugging Techniques #Systems and Control (eess.SY) #electronic engineering #information engineering
- Cross-entropy optimisation of importance sampling parameters for\n statistical model checking
2012/01/25 by Cyrille Jégourel, Jégourel, Cyrille, Axel Legay +3 · 3 citations
Computer Science · Decision Sciences · Engineering · Mathematics · #Computation (stat.CO) #Computational Engineering #FOS: Computer and information sciences #FOS: Electrical engineering #Finance #Performance (cs.PF) #Probabilistic and Robust Engineering Design #Reliability and Maintenance Optimization #Software Reliability and Analysis Research #Statistical Distribution Estimation and Applications #Systems and Control (eess.SY) #and Science (cs.CE) #electronic engineering #information engineering
- LEO: Boosting Mixture of Vision Encoders for Multimodal Large Language Models
2025/01/13 by Azadani, Mozhgan Nasr, Riddell, James, Sedwards, Sean +1 · 4 citations
#Computation and Language (cs.CL) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences
- A Hierarchical Pedestrian Behavior Model to Generate Realistic Human Behavior in Traffic Simulation
2022/06/01 by Scott Larter, Larter, Scott, Rodrigo Queiroz +7 · 1 citation
Engineering · #Artificial Intelligence (cs.AI) #Autonomous Vehicle Technology and Safety #Evacuation and Crowd Dynamics #FOS: Computer and information sciences #Robotics (cs.RO) #Traffic Prediction and Management Techniques
- Recursive Constraints to Prevent Instability in Constrained Reinforcement Learning
2022/01/20 by Jaeyoung Lee, Lee, Jaeyoung, Sean Sedwards +3 · 1 citation
Computer Science · Engineering · #Reinforcement Learning in Robotics #Safety Systems Engineering in Autonomy #Software Reliability and Analysis Research
- A Hierarchy of Scheduler Classes for Stochastic Automata
2017/10/16 by D'Argenio, Pedro R., Gerhold, Marcus, Hartmanns, Arnd +1 · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- OV-SCAN: Semantically Consistent Alignment for Novel Object Discovery in Open-Vocabulary 3D Object Detection
2025/03/09 by Chow, Adrian, Riddell, Evelien, Wang, Yimu +2 · 2 citations
#Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences