default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSean Sedwards
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j18]Jaeyoung Lee
, Sean Sedwards, Krzysztof Czarnecki:
Uniformly constrained reinforcement learning. Auton. Agents Multi Agent Syst. 38(1): 1 (2024)- [c41]Chengjie Huang, Vahdat Abdelzad, Sean Sedwards, Krzysztof Czarnecki:
SOAP: Cross-sensor Domain Adaptation for 3D Object Detection Using Stationary Object Aggregation Pseudo-labelling. WACV 2024: 3340-3349 - [i17]Chengjie Huang, Vahdat Abdelzad, Sean Sedwards, Krzysztof Czarnecki:
SOAP: Cross-sensor Domain Adaptation for 3D Object Detection Using Stationary Object Aggregation Pseudo-labelling. CoRR abs/2401.04230 (2024) - [i16]Chengjie Huang, Vahdat Abdelzad, Sean Sedwards, Krzysztof Czarnecki:
VADet: Multi-frame LiDAR 3D Object Detection using Variable Aggregation. CoRR abs/2411.13186 (2024) - 2022
- [c40]Scott Larter, Rodrigo Queiroz, Sean Sedwards, Atrisha Sarkar, Krzysztof Czarnecki:
A Hierarchical Pedestrian Behavior Model to Generate Realistic Human Behavior in Traffic Simulation. IV 2022: 533-541 - [c39]Frédéric Bouchard, Sean Sedwards, Krzysztof Czarnecki:
A Rule-Based Behaviour Planner for Autonomous Driving. RuleML+RR 2022: 263-279 - [i15]Jaeyoung Lee, Sean Sedwards, Krzysztof Czarnecki:
Recursive Constraints to Prevent Instability in Constrained Reinforcement Learning. CoRR abs/2201.07958 (2022) - [i14]Scott Larter, Rodrigo Queiroz, Sean Sedwards, Atrisha Sarkar, Krzysztof Czarnecki:
A Hierarchical Pedestrian Behavior Model to Generate Realistic Human Behavior in Traffic Simulation. CoRR abs/2206.01601 (2022) - 2021
- [j17]Aravind Balakrishnan, Jaeyoung Lee, Ashish Gaurav, Krzysztof Czarnecki, Sean Sedwards:
Transfer Reinforcement Learning for Autonomous Driving: From WiseMove to WiseSim. ACM Trans. Model. Comput. Simul. 31(3): 15:1-15:26 (2021) - [j16]Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo:
Falsification of Hybrid Systems Using Adaptive Probabilistic Search. ACM Trans. Model. Comput. Simul. 31(3): 18:1-18:22 (2021) - [c38]Vahdat Abdelzad, Jaeyoung Lee, Sean Sedwards, Soheil Soltani, Krzysztof Czarnecki:
Non-divergent Imitation for Verification of Complex Learned Controllers. IJCNN 2021: 1-8 - [c37]Gidon Ernst, Ichiro Hasuo, Zhenya Zhang, Sean Sedwards:
Time-Staging Enhancement of Hybrid System Falsification. SNR 2021: 25-43 - 2020
- [j15]Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards:
An efficient statistical model checker for nondeterminism and rare events. Int. J. Softw. Tools Technol. Transf. 22(6): 759-780 (2020) - [c36]Rick Salay, Krzysztof Czarnecki, Maria Soledad Elli, Ignacio J. Alvarez, Sean Sedwards, Jack Weast:
PURSS: Towards Perceptual Uncertainty Aware Responsibility Sensitive Safety with ML. SafeAI@AAAI 2020: 91-95 - [c35]Ashish Gaurav, Sachin Vernekar, Jaeyoung Lee, Vahdat Abdelzad, Krzysztof Czarnecki, Sean Sedwards:
Simple Continual Learning Strategies for Safer Classifers. SafeAI@AAAI 2020: 96-104 - [c34]Aman Jhunjhunwala, Jaeyoung Lee, Sean Sedwards, Vahdat Abdelzad, Krzysztof Czarnecki:
Improved Policy Extraction via Online Q-Value Distillation. IJCNN 2020: 1-8 - [c33]Weitao Chen, Rick Salay, Sean Sedwards, Vahdat Abdelzad, Krzysztof Czarnecki:
Accelerating the Training of Convolutional Neural Networks for Image Segmentation with Deep Active Learning. ITSC 2020: 1-7
2010 – 2019
- 2019
- [c32]Manfred Jaeger, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Sean Sedwards, Jakob Haahr Taankvist:
Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs. ATVA 2019: 81-97 - [c31]Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo:
Fast Falsification of Hybrid Systems Using Probabilistically Adaptive Input. QEST 2019: 165-181 - [c30]Jaeyoung Lee, Aravind Balakrishnan, Ashish Gaurav, Krzysztof Czarnecki, Sean Sedwards:
WiseMove: A Framework to Investigate Safe Deep Reinforcement Learning for Autonomous Driving. QEST 2019: 350-354 - [c29]Reza Babaee, Vijay Ganesh, Sean Sedwards:
Accelerated Learning of Predictive Runtime Monitors for Rare Failure. RV 2019: 111-128 - [i13]Jaeyoung Lee, Aravind Balakrishnan, Ashish Gaurav, Krzysztof Czarnecki, Sean Sedwards:
WiseMove: A Framework for Safe Deep Reinforcement Learning for Autonomous Driving. CoRR abs/1902.04118 (2019) - [i12]Marko Ilievski, Sean Sedwards, Ashish Gaurav, Aravind Balakrishnan, Atrisha Sarkar, Jaeyoung Lee, Frédéric Bouchard, Ryan De Iaco, Krzysztof Czarnecki:
Design Space of Behaviour Planning for Autonomous Driving. CoRR abs/1908.07931 (2019) - 2018
- [j14]Thomas Given-Wilson, Axel Legay, Sean Sedwards, Olivier Zendra:
Group abstraction for assisted navigation of social activities in intelligent environments. J. Reliab. Intell. Environ. 4(2): 107-120 (2018) - [j13]Zhenya Zhang, Gidon Ernst, Sean Sedwards, Paolo Arcaini, Ichiro Hasuo:
Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2894-2905 (2018) - [c28]Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos, Gidon Ernst, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo, Sean Sedwards:
ARCH-COMP18 Category Report: Results on the Falsification Benchmarks. ARCH@ADHS 2018: 104-109 - [c27]Kengo Kido, Sean Sedwards, Ichiro Hasuo:
Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems. ADHS 2018: 247-252 - [c26]Zhenya Zhang, Gidon Ernst, Ichiro Hasuo, Sean Sedwards:
Time-Staging Enhancement of Hybrid System Falsification. MT@CPSWeek 2018: 3-4 - [c25]Pedro R. D'Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards:
A Hierarchy of Scheduler Classes for Stochastic Automata. FoSSaCS 2018: 384-402 - [c24]Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards:
Lightweight Statistical Model Checking in Nondeterministic Continuous Time. ISoLA (2) 2018: 336-353 - [c23]Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards:
A Statistical Model Checker for Nondeterminism and Rare Events. TACAS (2) 2018: 340-358 - [i11]Zhenya Zhang, Ichiro Hasuo, Gidon Ernst, Sean Sedwards:
Two-Layered Falsification of Hybrid Systems guided by Monte Carlo Tree Search. CoRR abs/1803.06276 (2018) - [i10]Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo:
Fast Falsification of Hybrid Systems using Probabilistically Adaptive Input. CoRR abs/1812.04159 (2018) - 2017
- [c22]Kengo Kido, Sean Sedwards, Ichiro Hasuo:
Switching Delays and the Skorokhod Distance in Incrementally Stable Switched Systems. CyPhy 2017: 109-126 - [c21]Thomas Given-Wilson, Axel Legay, Sean Sedwards:
Information Security, Privacy, and Trust in Social Robotic Assistants for Older Adults. HCI (22) 2017: 90-109 - [c20]Kim G. Larsen, Doron Peled, Sean Sedwards:
Memory-Efficient Tactics for Randomized LTL Model Checking. VSTTE 2017: 152-169 - [c19]Arnd Hartmanns, Sean Sedwards, Pedro R. D'Argenio:
Efficient simulation-based verification of probabilistic timed automata. WSC 2017: 1419-1430 - [i9]Pedro R. D'Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards:
A Hierarchy of Scheduler Classes for Stochastic Automata. CoRR abs/1710.05763 (2017) - [i8]Kengo Kido, Sean Sedwards, Ichiro Hasuo:
Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems (Extended Version). CoRR abs/1712.06311 (2017) - 2016
- [j12]Cyrille Jégourel, Axel Legay, Sean Sedwards:
Command-based importance sampling for statistical model checking. Theor. Comput. Sci. 649: 1-24 (2016) - [c18]Pedro R. D'Argenio, Arnd Hartmanns, Axel Legay, Sean Sedwards:
Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata. IFM 2016: 99-114 - [c17]Axel Legay, Sean Sedwards, Louis-Marie Traonouez:
Plasma Lab: A Modular Statistical Model Checking Platform. ISoLA (1) 2016: 77-93 - [c16]Axel Legay, Sean Sedwards, Louis-Marie Traonouez:
Rare Events for Statistical Model Checking an Overview. RP 2016: 23-35 - [c15]Cyrille Jégourel, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards:
Importance Sampling for Stochastic Timed Automata. SETTA 2016: 163-178 - 2015
- [j11]Cyrille Jégourel, Axel Legay, Sean Sedwards, Louis-Marie Traonouez:
Distributed Verification of Rare Properties using Importance Splitting Observers. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015) - [j10]Axel Legay, Sean Sedwards, Louis-Marie Traonouez:
Estimating Rewards & Rare Events in Nondeterministic Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015) - [j9]Luigi Palopoli, Antonis A. Argyros, Josef A. Birchbauer, Alessio Colombo, Daniele Fontanelli, Axel Legay, Andrea Garulli, Antonello Giannitrapani, David Macii, Federico Moro, Payam Nazemzadeh, Pashalis Padeleris, Roberto Passerone, Georg Poier, Domenico Prattichizzo, Tizar Rizano, Luca Rizzon, Stefano Scheggi, Sean Sedwards:
Navigation assistance and guidance of older adults across complex public spaces: the DALi approach. Intell. Serv. Robotics 8(2): 77-92 (2015) - [j8]Alessio Colombo, Daniele Fontanelli, Axel Legay, Luigi Palopoli, Sean Sedwards:
Efficient customisable dynamic motion planning for assistive robots in complex human environments. J. Ambient Intell. Smart Environ. 7(5): 617-634 (2015) - [j7]Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards:
Statistical model checking for biological systems. Int. J. Softw. Tools Technol. Transf. 17(3): 351-367 (2015) - [j6]Pedro R. D'Argenio, Axel Legay, Sean Sedwards, Louis-Marie Traonouez:
Smart sampling for lightweight verification of Markov decision processes. Int. J. Softw. Tools Technol. Transf. 17(4): 469-484 (2015) - [i7]Cyrille Jégourel, Axel Legay, Sean Sedwards, Louis-Marie Traonouez:
Distributed Verification of Rare Properties with Lightweight Importance Splitting Observers. CoRR abs/1502.01838 (2015) - 2014
- [c14]Axel Legay, Sean Sedwards:
Statistical Abstraction Boosts Design and Test Efficiency of Evolving Critical Systems. ISoLA (1) 2014: 4-25 - [c13]Cyrille Jégourel, Axel Legay, Sean Sedwards:
An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking. ISoLA (2) 2014: 143-159 - [c12]Axel Legay, Sean Sedwards, Louis-Marie Traonouez:
Scalable Verification of Markov Decision Processes. SEFM Workshops 2014: 350-362 - [c11]Axel Legay, Sean Sedwards:
On Statistical Model Checking with PLASMA. TASE 2014: 139-145 - [i6]Pedro R. D'Argenio, Axel Legay, Sean Sedwards, Louis-Marie Traonouez:
Smart Sampling for Lightweight Verification of Markov Decision Processes. CoRR abs/1409.2116 (2014) - [i5]Axel Legay, Sean Sedwards, Louis-Marie Traonouez:
Lightweight Verification of Markov Decision Processes with Rewards. CoRR abs/1410.5782 (2014) - 2013
- [c10]Cyrille Jégourel, Axel Legay, Sean Sedwards:
Importance Splitting for Statistical Model Checking Rare Properties. CAV 2013: 576-591 - [c9]Alessio Colombo, Daniele Fontanelli, Axel Legay, Luigi Palopoli, Sean Sedwards:
Motion planning in crowds using statistical model checking to enhance the social force model. CDC 2013: 3602-3608 - [c8]Alessio Colombo, Daniele Fontanelli, Dhaval Gandhi, Antonella De Angeli, Luigi Palopoli, Sean Sedwards, Axel Legay:
Behavioural templates improve robot motion planning with social force model in human environments. ETFA 2013: 1-6 - [c7]Benoît Boyer, Kevin Corre, Axel Legay, Sean Sedwards:
PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library. QEST 2013: 160-164 - [i4]Axel Legay, Sean Sedwards:
Lightweight Monte Carlo Algorithm for Markov Decision Processes. CoRR abs/1310.3609 (2013) - 2012
- [c6]Cyrille Jégourel, Axel Legay, Sean Sedwards:
Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking. CAV 2012: 327-342 - [c5]Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards:
Runtime Verification of Biological Systems. ISoLA (1) 2012: 388-404 - [c4]Cyrille Jégourel, Axel Legay, Sean Sedwards:
A Platform for High Performance Statistical Model Checking - PLASMA. TACAS 2012: 498-503 - [c3]Alexandre David, Dehui Du, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards:
Statistical Model Checking for Stochastic Hybrid Systems. HSB 2012: 122-136 - [i3]Cyrille Jégourel, Axel Legay, Sean Sedwards:
Cross-entropy optimisation of importance sampling parameters for statistical model checking. CoRR abs/1201.5229 (2012) - 2011
- [j5]Adaoha E. C. Ihekwaba, Sean Sedwards:
Communicating oscillatory networks: frequency domain analysis. BMC Syst. Biol. 5: 203 (2011)
2000 – 2009
- 2009
- [i2]Attila Csikász-Nagy, Adrien Fauré, Roberto Larcher, Paola Lecca, Ivan Mura, Ferenc Jordán, Alida Palmisano, Alessandro Romanel, Sean Sedwards, Heike Siebert, Sylvain Soliman, Denis Thieffry, Judit Zámborszky, Tommaso Mazza, Paolo Ballarini:
Analyzing various models of Circadian Clock and Cell Cycle coupling. Formal Methods in Molecular Biology 2009 - 2008
- [j4]Radu Mardare, Matteo Cavaliere, Sean Sedwards:
A Logical Characterization of Robustness, Mutants and Species in Colonies of Agents. Int. J. Found. Comput. Sci. 19(5): 1199-1221 (2008) - [j3]Matteo Cavaliere, Radu Mardare, Sean Sedwards:
A multiset-based model of synchronizing agents: Computability and robustness. Theor. Comput. Sci. 391(3): 216-238 (2008) - [j2]Matteo Cavaliere, Sean Sedwards:
Decision problems in membrane systems with peripheral proteins, transport and evolution. Theor. Comput. Sci. 404(1-2): 40-51 (2008) - 2007
- [j1]Sean Sedwards, Tommaso Mazza:
Cyto-Sim: a formal language model and stochastic simulator of membrane-enclosed biochemical processes. Bioinform. 23(20): 2800-2802 (2007) - 2006
- [c2]Matteo Cavaliere, Sean Sedwards:
Modelling Cellular Processes Using Membrane Systems with Peripheral and Integral Proteins. CMSB 2006: 108-126 - [c1]Matteo Cavaliere, Sean Sedwards:
Membrane Systems with Peripheral Proteins: Transport and Evolution. MeCBIC@ICALP 2006: 37-53 - [i1]Matteo Cavaliere, Sean Sedwards:
Modeling and Simulating Biological Processes with Stochastic Multiset Rewriting. Simulation and Verification of Dynamic Systems 2006
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-02-12 01:05 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
