Find Jobs
Hire Freelancers

Concurrent system:Task about CSP and CASPER and model checker (FDR) -- 2

$30-250 AUD

Closed
Posted over 1 year ago

$30-250 AUD

Paid on delivery
ThIs task requires a coding script that will allow cars to enter a bridge without any issue, and then submit the CSP code into FDR model check to check the errors if existed. Plus 800 words writing and 500 words report about CASPER and how it will be applied in the solution of the project. required experts in : CASPER CSP FDR Model checker. Write peace in start of your proposal please see the attached files for more info
Project ID: 35719683

About the project

7 proposals
Remote project
Active 1 yr ago

Looking to make some money?

Benefits of bidding on Freelancer

Set your budget and timeframe
Get paid for your work
Outline your proposal
It's free to sign up and bid on jobs
7 freelancers are bidding on average $187 AUD for this job
User Avatar
Hi, I hope you are doing fine. I have almost 10 years of experience in machine learning algorithms. I can implement various types of artificial intelligence algorithms including yours with Matlab, Python and etc. I have PhD from Tohoku University and have several journal publications on the subjects. You can see portfolio for my previous projects. I read about your project and am interested in working with you. Please send me a message so that we can discuss more. Best regards.
$250 AUD in 7 days
5.0 (27 reviews)
6.5
6.5
User Avatar
Hello, I hope this bid finds you well. I am writing to express my interest in assisting with your project. With 10 years of experience in this field, I believe I have the skills and expertise to contribute to your team. Machine Learning (ML) CasperJS I understand that timelines and budget are important considerations, and I am happy to discuss these further with you. My proposed timelines and budget are simply a starting point, and I am open to negotiating to meet your specific needs and requirements. I would love the opportunity to demonstrate the value I can bring to your project. I look forward to your reply and the chance to work with you. Sincerely, Fridah M
$140 AUD in 7 days
4.9 (6 reviews)
5.1
5.1
User Avatar
Concurrent system:Task about CSP and CASPER and model checker (FDR) -- 2 Good morning Balachandan Reddy K. , Hi I am a very experienced statistician, data scientist and academic writer. I have completed several PhD level thesis projects involving advanced statistical analysis of data. I have worked with data from several companies and have done projects involving high level quantitative analysis and data interpretation skills to study the trends, time behaviour and compare the variables in the data. I can do advanced level analysis in SPSS, R, PYTHON, OPENCV, WEKA, TABLEAU, POWER BI, and EXCEL tools like image processing, machine learning, deep learning, AI, NLP, hypothesis testing, forecasting, T-test, ANOVA etc. Looking forward to discussion, Best Regards, Suyash
$250 AUD in 6 days
4.3 (23 reviews)
5.6
5.6
User Avatar
⭐⭐⭐⭐⭐⭐ I can start doing it right now ⭐⭐⭐⭐⭐⭐ if u check my reviws u will find me did the same project before also I have all these skills CasperJSand Machine Learning (ML) trust me ✌️ I can do it very well
$140 AUD in 2 days
5.0 (2 reviews)
2.0
2.0
User Avatar
Hi there, I am Rashid, I am a full stack developer with 4+ years of experience in both front-end and back-end development. I have read your Concurrent system:Task about CSP and CASPER and model checker (FDR) -- 2 description very carefully and would like to have a detailed chat about this project as to resolve some queries I have regarding this project that needs to be cleared to get things started. We always look for a long term relationship. You can check my profile that I have 100% completion rate on my projects and would like to carry on with this streak so it would be my pleasure to build long term relationship with you. All my skills are related to this particular project. Looking forward from your response, Thanks Rashid Amjad.
$250 AUD in 8 days
0.0 (0 reviews)
0.0
0.0
User Avatar
Dear Client! My name is Branislav from Slovakia and I am machine learning researcher with R, python. I have 5 years of experience in machine learning, Deep Learning and Data Science. I was major in Stochastic & Statistic Theory which is the basic field of machine learning. So I have deep theoretical knowledge & Application in - SVM, KNN, Decision Tree & Random Forest and Ensemble of Scikit-Learn and CNN, RNN in Tensorflow. -Markov Decision Process in reinforcement learning - Pandas, Numpy and matplotlib. -SageMaker, FaceRekognition in AWS -Report AI paper in arXiv and SCI -Statistical Analysis with Scipy and Spectrum I read your description and I know what you need. I have confidence In your project. Let's discuss more details on chatting. Thank you
$140 AUD in 7 days
0.0 (0 reviews)
0.0
0.0

About the client

Flag of GERMANY
Bremen, Germany
5.0
2
Payment method verified
Member since Aug 11, 2022

Client Verification

Thanks! We’ve emailed you a link to claim your free credit.
Something went wrong while sending your email. Please try again.
Registered Users Total Jobs Posted
Freelancer ® is a registered Trademark of Freelancer Technology Pty Limited (ACN 142 189 759)
Copyright © 2024 Freelancer Technology Pty Limited (ACN 142 189 759)
Loading preview
Permission granted for Geolocation.
Your login session has expired and you have been logged out. Please log in again.